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