Normal view MARC view ISBD view

Alan Turing's systems of logic :

Alan Turing's systems of logic : the princeton thesis / Edited and introduced by Andrew W. Appel. - New Jersey : Princeton University Press, 2012. - 142 p. : ill

Includes bibliographical references and index.

ISBN: 9780691164731 9780691155746

Subjects--Personal Names:
Turing, Alan Mathison. 1912-1954.

Subjects--Topical Terms:
Logic, Symbolic and mathematical

LC Class. No.: QA 9.2 / .A54

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

South Eastern Kenya University

Library Online Public Access Catalogue

Alan Turing's systems of logic :