Turing's World 3.0 for the Macintosh : an introduction to computability theory /

Bibliographic Details

Main Author:	Barwise, Jon
Other Authors:	Etchemendy, John, 1952-
Format:	Book
Language:	English
Published:	Stanford, CA : CSLI, Center for the Study of Language and Information, [1993]
Series:	CSLI lecture notes ; no. 35.
Subjects:	Computer science. Logic, Symbolic and mathematical. Turing machines. Turing's world.