TY  - BOOK
AU  - Kowalski, Robert
TI  - Logic for problem solving
PY  - 1979///
CY  - New YorkUS
PB  - North Holland
ER  -