An introduction to mathematical reasoning January 1997 Proof theory ISBN 0521597188 View on Amazon Lists featuring this book (1)
