Books:Logic for Problem Solving, North Holland, Elsevier, 1979.Computational Logic and Human Thinking: How to be Artificially Intelligent, Cambridge University Press, 2011. Learn more about Kowalski Bob's work experience, education, connections & more by visiting their profile on LinkedIn