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