Košík
zboží
(prázdné)
Higher-Order Logic and Type Theory (anglicky)
573
Kč
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and...
číst celé
- Mohlo by Vás také zaujmout
- Další knihy autora
- Další zboží nakladatele
- Naposledy prohlédnuté
Podobní autoři
Návrh štítků k produktu
Navrhněte maximálně 5 klíčových slov (štítků) k tomuto produktu.
Za každý přidaný štítek musíte poté 5x ohodnotit štítky ostatních.
Nezapomeňte navrhnuté štítky uložit stisknutím tlačítka „Uložit přidané štítky“.
K této knize jste navrhli štítky:
Hodnocení štítků
V tuto chvíli není co ohodnotit.
Klikněte na štítek, který se více hodí k produktu.
![]()
Nyní následuje 5x hodnocení štítků ostatních.
Proč nakupovat u nás?
-
Největší skladové zásoby sortiment všeho druhu -
Levná doprava doslova za pár kaček -
Spokojení zákazníci známka kvality -
Vyzvednutí kdekoliv místo vybíráte vy -
Skvělá zákaznická podpora neváhejte zavolat
Hodnocení
Ověřené recenze jsou tak výslovně označené, ostatní jsou neověřené.
Nejsou zde žádné recenze. Buďte první a napište svoji!
Kniha návstěv
Ověřené příspěvky jsou tak označené, ostatní jsou neověřené.
