TY  - BOOK
AU  - WOODS,John Hayden
TI  - Proof & truth: mathematical logic for non-mathematicians 
SN  - 0887780806 :
U1  - 510 
PY  - 1974///
CY  - Toronto
PB  - Martin
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographies and index
ER  -