Košík
zboží
(prázdné)
Derivation and Computation (anglicky)
2 936
Kč
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.
čí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é.
