Title: Symbolic logic and intelligent machines
Subjects: Artificial intelligence, Symbolic and mathematical Logic