TY  - GEN
AU  - Kowalski,Robert
AU  - 
ED  - 
ED  - 
ED  - 
TI  - Computational logic and human thinking
U1  - 511.3 
PY  - 2011///
CY  - Cambridge
PB  - Cambridge University Press
KW  - 
KW  - Computer science
ER  -