Computational Logic and Set Theory

Name: Computational Logic and Set Theory
Brand: Springer London Ltd
SKU: 2238126
Author: Jacob T. Schwartz

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

Springer London Ltd

Knihu koupíte v 1 e-shopu

Bookshop.cz

1 322 Kč

Není skladem

Do obchodu

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.

Zobrazit celý popis

Výběr knih vydavatele Springer London Ltd