TY  - BOOK
AU  - Suppes, P
AU  - Hill, S
TI  - First course in mathematical logic
SN  - 9780486422596
U1  - 510.6 
PY  - 1964///
CY  - Mieola
PB  - Dover
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL
KW  - COMMUTATIVE LAWS
KW  - TAUTOLOGIES UNIVERSAL QUANTIFIERS
KW  - TRUTH AND VALIDITY
N1  - Ref. sec
ER  -