"The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can

How a computational framework can account for the successes and failures of human cognition At the heart of human intelligence rests a fundamental puzzle: How a

ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalit

David E. Over is a leading cognitive scientist and, with his firm grounding in philosophical logic, he also exerts a powerful influence on the psychology of rea