Tools

LEADER 01570cam 2200421Ia 4500

001 ocn798411942;

003 OCoLC;

005 20141212053306.0;

008 120625s2012 njuah b 000 0deng d;

020 a| 9780691155746 (hbk.);

020 a| 0691155747 (hbk.);

035 a| (Sirsi) 99953137524;

035 a| 99953137524;

035 a| (OCoLC)798411942;

050 04 a| QA9b| .T87 2012;

082 04 a| 511.32| 23;

100 1 a| Turing, Alan,d| 1912-1954=| ^A147172;

245 10 a| Alan Turing's Systems of logic :b| the Princeton thesis /c| edited and introduced by Andrew W. Appel.;

246 30 a| Systems of logic;

300 a| xv, 142 pages :b| illustrations, facsm. ;c| 26 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references.;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

600 10 a| Turing, Alan,d| 1912-1954=| ^A147172;

700 1 a| Appel, Andrew W.,d| 1960-=| ^A289682;

700 1 a| Feferman, Solomon.=| ^A62616;

740 02 a| Systems of logic based on ordinals.;

740 02 a| Birth of computer science at Princeton in the 1930s.;

740 02 a| Turing's thesis.;

949 i| 30372013929119o| jjlm;

960 o| 1s| 24.95t| Joyner48u| JMATz| USD;

596 a| 1;

998 a| 3290660;

999 a| QA9 .T87 2012w| LCc| 1i| 30372013929119d| 10/22/2021e| 8/4/2021l| JGESm| JOYNERn| 2r| Ys| Yt| JGESBKu| 4/26/2013x| BOOKz| JSTACKSo| .STAFF. jjlm;

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

Author/creator	Turing, Alan
Other author	Appel, Andrew W., 1960-
Other author	Feferman, Solomon.
Format	Book
Publication Info	Princeton, N.J. : Princeton University Press, ©2012.
Description	xv, 142 pages : illustrations, facsm. ; 26 cm
Subjects	Turing, Alan, 1912-1954 Logic, Symbolic and mathematical.

Portion of title	Systems of logic
Bibliography note	Includes bibliographical references.
Other title	Systems of logic based on ordinals.
Other title	Birth of computer science at Princeton in the 1930s.
Other title	Turing's thesis.
ISBN	9780691155746 (hbk.)
ISBN	0691155747 (hbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9 .T87 2012	✔ Available	Place Hold

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

Click here for more information about this title

Availability