jump to search box

Alan Turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel.

Availability

At the Library

Other libraries

Author/Creator:
Turing, Alan Mathison, 1912-1954.
Language:
English.
Publication date:
2012
Imprint:
Princeton, N.J. : Princeton University Press, c2012.
Format:
  • Book
  • xv, 142 p. : ill ; 26 cm.
Title Variation:
Systems of logic
Bibliography:
Includes bibliographic references (p. 139-142).
Contributor:
Appel, Andrew W., 1960-
Subjects:
ISBN:
9780691155746
0691155747

powered by Blacklight
© Stanford University. Stanford, California 94305. (650) 725-1064. Terms of Use | Copyright Complaints | Opt Out of Analytics
jump to top