TY  - BOOK
AU  - Thomason, Richmond H.
TI  - Symbolic Logic: An Introduction
U1  - 511.3 
PY  - 1970///
CY  - London
PB  - The Macmillan Company
KW  - General principles of mathematics
ER  -