Wir stellen aus: BuchMarkt, Wien, Längenfeldgasse 13 im Festsaal am 28. April, 10.00-16.00 h. www.buchmarkt.wien – 21. Waiblinger Buchmarktplatz, Sonntag, 12. Mai 2019 www.waiblingen.de – 11. Tübinger Bücherfest, 6. und 7. Juli 2019 www.tuebinger-buecherfest.de – Aktueller Printkatalog: Kinder- und Jugendbücher / Literatur und illustrierte Bücher / Philosophie. – E-Kataloge mit besonderen Neueingängen (Februar-April) – Können unter „Aktuelle Kataloge“ als PDF abgerufen oder kostenlos angefordert werden.

Quaife, Automated Development of Fundamental Mathematical Theories

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

1
2
3
4
5
6
7
8
9
91