Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - Bücher - Springer London Ltd - 9781447160182 - 6. September 2014
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Jacob T. Schwartz
Computational Logic and Set Theory: Applying Formalized Logic to Analysis 2011 edition

Preis
SFr. 43,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 13. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

416 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 6. September 2014
ISBN13 9781447160182
Verlag Springer London Ltd
Seitenanzahl 416
Maße 155 × 235 × 23 mm   ·   607 g
Sprache Englisch  

Alle Titel von Jacob T. Schwartz ansehen ( u. a. Gebundenes Buch und Taschenbuch )