Author Results for Turing Alan Mathison 1912-1954.

Elsevier Science & Technology
Turing, Alan Mathison,,1912-1954
edited and introduced by Andrew W. Appel

1
Mathematical logic /

Cover is for reference only
Main Authors: Turing, Alan Mathison, 1912-1954. (Author)
Corporate Authors: Elsevier Science & Technology.
Group Author: Gandy, R. O. (Robin O.) (Editor)
Published: Elsevier Science,
Publication Dates: 2001.
eBook
Save to List
Saved in:
2
Alan Turing's systems of logic the Princeton thesis

Cover is for reference only
Main Authors: Turing Alan Mathison 1912-1954. (edited and introduced by Andrew W. Appel.)
Group Author: Feferman Solomon (Contributor); Appel Andrew W 1960- (aui ctb edt)
Published: Princeton University Press,
Publication Dates: 2012.
Call Number: O141/T938
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —