Wir stellen aus: 11. Tübinger Bücherfest, 6. und 7. Juli 2019 www.tuebinger-buecherfest.de – Bücher-Sonntag im Saal der VHS Hitzing, Hofwiesengasse 48, 1130 Wien. 29. September 2019, 10 bis 16 Uhr. www.buechersonntag.blogspot.co.at – BuchMarkt, Wien, Längenfeldgasse 13 im Festsaal am 10. November, 10.00-16.00 h. www.buchmarkt.wien – Aktueller Printkatalog: Kinder- und Jugendbücher / Literatur und illustrierte Bücher / Philosophie. – E-Kataloge mit besonderen Neueingängen (Februar-Mai) – 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