Title: An Introduction to Mathematical Reasoning
First published: 1997
Subjects: Proof theory, Set theory, Combinatorial analysis, Number theory
LC classification: QA9.54 .E23 1997