TY - BOOK AU - Kowalski Robert TI - Computational logic and human thinking: how to be artificially intelligent SN - 978-0-521-19482-2 U1 - 511.3 PY - 2011/// CY - Cambridge PB - CUP KW - Communication-philosophy KW - Computational intelligence KW - Critical thinking KW - Reasoning KW - Rhetoric-mathematics KW - Symbolic and mathematical logic-famous problems ER -