skip to content
Alan Turing's systems of logic : the Princeton thesis Preview this item
ClosePreview this item
Checking...

Alan Turing's systems of logic : the Princeton thesis

Author: Alan Mathison Turing; Andrew W Appel; Solomon Feferman
Publisher: Princeton : Princeton University Press, 2014, ©2012.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Alan Mathison Turing; Andrew W Appel; Solomon Feferman
ISBN: 9780691164731 0691164738
OCLC Number: 881139564
Description: xv, 142 pages : portraits ; 26 cm
Contents: The birth of computer science at Princeton in the 1930s / Andrew W. Appel --
Turing's thesis / Solomon Feferman --
Notes on the manuscript --
Systems of logic based on ordinals / Alan Turing.
Other Titles: Turing's systems of logic :
Responsibility: edited and introduced by Andrew W. Appel.

Reviews

Editorial reviews

Publisher Synopsis

"This book presents the story of Turing's work at Princeton University and includes a facsimile of his doctoral dissertation, 'Systems of Logic Based on Ordinals,' which he completed in 1936. The Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/881139564> # Alan Turing's systems of logic : the Princeton thesis
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "881139564" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1123823304#Place/princeton> ; # Princeton
   schema:about <http://dewey.info/class/511.3/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1123823304#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:alternateName "Turing's systems of logic :" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1123823304#Person/appel_andrew_w_1960> ; # Andrew W. Appel
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1123823304#Person/feferman_solomon> ; # Solomon Feferman
   schema:copyrightYear "2012" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1123823304#Person/turing_alan_mathison_1912_1954> ; # Alan Mathison Turing
   schema:datePublished "2014" ;
   schema:description "The birth of computer science at Princeton in the 1930s / Andrew W. Appel -- Turing's thesis / Solomon Feferman -- Notes on the manuscript -- Systems of logic based on ordinals / Alan Turing."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1123823304> ;
   schema:inLanguage "en" ;
   schema:name "Alan Turing's systems of logic : the Princeton thesis"@en ;
   schema:productID "881139564" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/881139564#PublicationEvent/princeton_princeton_university_press_2014_2012> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1123823304#Agent/princeton_university_press> ; # Princeton University Press
   schema:workExample <http://worldcat.org/isbn/9780691164731> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB496822> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/881139564> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1123823304#Agent/princeton_university_press> # Princeton University Press
    a bgn:Agent ;
   schema:name "Princeton University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/1123823304#Person/appel_andrew_w_1960> # Andrew W. Appel
    a schema:Person ;
   schema:birthDate "1960" ;
   schema:familyName "Appel" ;
   schema:givenName "Andrew W." ;
   schema:name "Andrew W. Appel" ;
    .

<http://experiment.worldcat.org/entity/work/data/1123823304#Person/feferman_solomon> # Solomon Feferman
    a schema:Person ;
   schema:familyName "Feferman" ;
   schema:givenName "Solomon" ;
   schema:name "Solomon Feferman" ;
    .

<http://experiment.worldcat.org/entity/work/data/1123823304#Person/turing_alan_mathison_1912_1954> # Alan Mathison Turing
    a schema:Person ;
   schema:birthDate "1912" ;
   schema:deathDate "1954" ;
   schema:familyName "Turing" ;
   schema:givenName "Alan Mathison" ;
   schema:name "Alan Mathison Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1123823304#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://worldcat.org/isbn/9780691164731>
    a schema:ProductModel ;
   schema:isbn "0691164738" ;
   schema:isbn "9780691164731" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.