Title: Turing's World 3.0 for the Macintosh
Subjects: Turing machines, Symbolic and mathematical Logic, Computer science, Turing's world