The moment of proof January 1999 Proof theory -- Popular works ISBN 0195117212 View on Amazon Lists featuring this book (1)
