Title: Machinations
Subjects: Symbolic and mathematical Logic, Computer science, Artificial intelligence, Programming languages (Electronic computers)