Title: The Great Formal Machinery Works
Subjects: Mathematics, history, Logic, symbolic and mathematical, Computer science, mathematics, Information technology, Computers