Title: Proof, logic, and conjecture
First published: December 15, 1997
Subjects: Logic, Symbolic and mathematical, Number theory, Set theory, Symbolic and mathematical Logic
LC classification: QA9 .W748 1998