A mathematical introduction to logic January 2001 Logic, Symbolic and mathematical. ISBN 0122384520 View on Amazon Lists featuring this book (5)