Proof Theory and Logic Programming
Knihu koupíte v
1 e-shopu
od
1 875 Kč
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
This book offers a principled view of programming, showing how
computation arises from logic. It explores different logical and
proof-theoretic systems as foundations for programming, providing a
deeper understanding for readers interested in the theoretical
underpinnings of computation and the…
Zobrazit celý popis
Zobrazit celý popis
Výběr knih vydavatele
Cambridge University Press
Zobrazit všechny knihy vydavatele
Cambridge University Press
Naše tipy
- Právě probíhající akce a slevy na knihy
-
Knihydobrovsky.cz | do 28.02.2026
-
Knihydobrovsky.cz | do 31.03.2026
- zobrazit všechny akce
