Wir stellen aus: Frankfurter Antiquariatsmesse 10. bis 14. Oktober 2018 www.abooks.de – 58. Stuttgarter Antiquariatsmesse 25. bis 27. Januar 2019 www.stuttgarter-antiquariatsmesse.de – 17ème Salon Europeen du Livre Ancien, Colmar 1.-3. März 2019 – Leipziger Antiquariatsmesse, zur Leipziger Buchmesse, 21.-24. März 2019 www.abooks.de – Neuer Printkatalog: Alte Drucke / Philosophie / Geschichte / Recht / Staat / Wirtschaft – kann unter „Aktuelle Kataloge“ als PDF abgerufen oder kostenlos angefordert werden.

Quaife, Automated Development of Fundamental Mathematical Theories

Quaife, Art. Automated Development of Fundamental Mathematical Theories. Dordrecht, Boston, London, Kluwer Academic Publishers 1992. 8°. 271 p., 1 Bl. Farbig illustr. OPbd. (Automated Reasoning Series).

First edition. – Automated development of fundamental mathematical theories provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover Otter. Here, the author presents a clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semi-automatically in elementary set theory. – Mint copy.

Unser Preis: EUR 90,--