How to read and do proofs January 1990 Logic, Symbolic and mathematical ISBN 0471510041 View on Amazon Lists featuring this book (1)