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

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 60,--