How to read and do proofs January 2002 Proof theory -- Textbooks.; Logic, Symbolic and mathematical. ISBN 0471680583 View on Amazon Lists featuring this book (1)
