Short Introduction to Intuitionistic Logic
Knihu koupíte v
1 e-shopu
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
Intuitionistic logic is presented here as part of familiar
classical logic which allows mechanical extraction of programs from
proofs.
Zobrazit celý popis
Zobrazit celý popis
Vývoj ceny
Aktuální Ø cena knihy Short Introduction to Intuitionistic Logic je 3 738 Kč
Výběr knih vydavatele
Springer Science+Business Media
Zobrazit všechny knihy vydavatele
Springer Science+Business Media
Naše tipy
![Kniha [Moje hvězda] 10](https://www.knihydobrovsky.cz/thumbs/book-detail-fancy-box/mod_eshop/produkty/m/moje-hvezda-10-20260604022641-9788077121125.jpg)
