Alan Turing's Systems of Logic : The Princeton Thesis.

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Published:	Princeton Univ Pr, 2012.
Subjects:	Turing, Alan, > 1912-1954 Logic, Symbolic and mathematical

University of Minnesota

Holdings details from University of Minnesota
Call Number:	QA9 .T87 2012