logiky vyšších řádů (PSH7103) — PSH

CS / EN

logiky vyšších řádů

http://psh.techlib.cz/skos/PSH7103

Anglický ekvivalent

higher order logic

Nadřazené heslo

matematická logika

Podřazená hesla

teorie typů

Heslo ve formátu JSON-LD

Hlavní hesla
matematika
matematická logika
logiky vyšších řádů

teorie typů

Podrobné výsledky v katalogu NTK

Podrobné výsledky v repozitáři NUŠL

Polytematický strukturovaný heslář vytvořený Národní technickou knihovnou podléhá licenci Creative Commons Uveďte autora-Zachovejte licenci 3.0 Česko.

Chybí Vám v PSH nějaké heslo, máte dotazy, připomínky, či návrhy? Napište nám!