TY  - BOOK
AU  - Kowalski, Robert
TI  - Computational logic and human thinking
SN  - 9780521123365
U1  - 511.3 
PY  - 2011///
PB  - Cambridge
KW  - Computer science
ER  -