Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Discrete Thoughts

Essays on Mathematics, Science and Philosophy

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Rev. and corr. ed., with the assistance of Peter Renz

Verlag: Birkhäuser Boston, Auflage 2, 266 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 01.07.2009

90,94 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Discrete Thoughts

Essays on Mathematics, Science and Philosophy

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Birkhäuser Boston, Auflage 2, 266 Seiten

Erscheinungsdatum: 01.06.1993

96,29 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Discrete Thoughts

Essays on Mathematics, Science and Philosophy

Produktform: Buch / Einband - flex.(Paperback)


Rev. and corr. ed., with the assistance of Peter Renz

Verlag: Birkhäuser Boston, Auflage 2, 266 Seiten

Erscheinungsdatum: 11.01.2008

90,94 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Produktform: E-Buch Text Elektronisches Buch in proprietärem


This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.

Verlag: Springer London, 416 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 16.07.2011

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Produktform: Buch / Einband - fest (Hardcover)


This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.

Verlag: Springer London, Auflage 1, 416 Seiten

Erscheinungsdatum: 16.07.2011

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Produktform: Buch / Einband - flex.(Paperback)


This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.

Verlag: Springer London, Auflage 1, 416 Seiten

Erscheinungsdatum: 06.09.2014

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel