Turing's World 3.0: An Introduction to Computability Theory (Center for the Study of Language and Information - Lecture Notes) by Barwise, Jon, Etchemendy, John (1993) Paperback
A self-contained introduction to Turing machines, one of the fundamental notions of logic and computer science. The text and accompanying diskette allow the user to build, debug, and run sophisticated Turing machines in a graphical environment,