"Computational Logic and Human Thinking: How to be Artificially Intelligent " - читать интересную книгу автора (Robert Kowalski)