Art Quaife

发表

Automated proofs of Löb's theorem and Gödel's two incompletensess theorems

Art Quaife, Art Quaife, 1988, Journal of Automated Reasoning.

Automated deduction in von Neumann-Bernays-Gödel set theory

Art Quaife, Art Quaife, 1992, Journal of Automated Reasoning.

Automated development of Tarski's geometry

Art Quaife, Art Quaife, 1989, Journal of Automated Reasoning.

Unsolved problems in elementary number theory

Art Quaife, Art Quaife, 1991, Journal of Automated Reasoning.