Computational Logic and Set Theory
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
Schwartz on computational logic and set theory and its application
to proof verification techniques, culminating in the tnaNova
system, a prototype computer program designed to verify the
correctness of mathematical proofs presented in the language of set
theory.
Výběr knih vydavatele
Springer London Ltd
Zobrazit všechny knihy vydavatele
Springer London Ltd
Naše tipy
