TY  - BOOK
AU  - Schumm George F
AU  - Lemmon E J
TI  - A teaching companion to Lemmon's Beginning logic
SN  - 0915144654
AV  - QA9.3 
PY  - 1979///
CY  - Indianapolis
PB  - Hackett
KW  - Propositional calculus
KW  - Predicate calculus
ER  -