teorie typů

Anglický ekvivalent

Nepreferovaná znění

  • typ výroku

Nadřazené heslo

  1. Hlavní hesla
  2. matematika
  3. matematická logika
  4. logiky vyšších řádů
  5. teorie typů

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!