TY  - BOOK
AU  - Hoffman Peter
TI  - Logic for the Mathematical
AV  - QA 9 .H644 2006 
PY  - 2006///
PB  - University of Waterloo
KW  - Mathematical Logic
N1  - Includes bibliographical references
ER  -