TY  - BOOK
AU  - Lemmon, E. J
TI  - Beginning logic
SN  - 9780412380907
U1  - 511.3 LEM 
PY  - 1998///
CY  - Boca Raton, FL
PB  - Chapman & Hall/CRC
KW  - Predicate calculus
ER  -