Alan Turing's systems of logic : the Princeton thesis /
Turing, Alan Mathison,1912-1954.
Appel, Andrew W.,1960-auictbedt
Feferman, Solomon.
Princeton, N.J. ; Oxford : Princeton University Press,
c2012.
Includes bibliographic references.
Turing, Alan Mathison, 1912-1954.
Logic, Symbolic and mathematical.