TY  - BOOK
AU  - Schagrin, Morton L.
AU  - Rapaprort, William J.
TI  - Logic: a computer approach
SN  - 0070551316
U1  - GC 005.115 Sch15 1985 
PY  - 1985///
CY  - New York
PB  - McGraw Hill
KW  - Logic programming
N1  - Includes index
ER  -