Košík
zboží
(prázdné)
Lectures on the Curry-Howard Isomorphism (anglicky)
3 451
Kč
DMOC 3 803 Kč
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related...
čí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é.
