A course in mathematical logic for mathematicians January 2010 Symbolic and mathematical Logic ISBN 1441906142 View on Amazon Lists featuring this book (1)