Martin Davis on Computability, Computational Logic, and Mathematical Foundations

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

Erweiterte Suche

Perspectives on Logic and Combinatorics

Perspectives on Logic and Combinatorics

Perspectives on Logic and Combinatorics

Applying Formalized Logic to Analysis

Applying Formalized Logic to Analysis

Applying Formalized Logic to Analysis