Turing's World 3.0 /
Barwise, Jon.
Etchemendy, John,1952-
Stanford, CA : CSLI, Center for the Study of Language and Information,
1993.
Includes index.
Turing's world.
Computer science.
Logic, Symbolic and mathematical.
Turing machines.