000			01986cam a2200433Ki 4500
001			eba1277045874
003			OSt
005			20250102103343.0
006			m o d
007			cr cnu---unuuu
008			211018s2012 njuch ob 000 0 eng d
020			_a9781400843213
020			_z9780691164731
020			_z0691164738
020			_z9780691155746
020			_z0691155747
035			_a(OCoLC)1277045874
040			_aJSTOR _beng _erda _epn _cAmiu _dN$T
050		4	_aQA9 _b.T875 2014
100	1		_aTuring, Alan, _d1912-1954, _eauthor.
245	1	0	_aAlan Turing's systems of logic : _bthe Princeton thesis / _cedited and introduced by Andrew W. Appel.
264		1	_aPrinceton, New Jersey : _bPrinceton University Press, _c2014.
300			_axv, 142 p.; _bportraits, facsimiles.
336			_atext _btxt _2rdacontent.
337			_acomputer _bc _2rdamedia.
338			_aonline resource _bcr _2rdacarrier.
504			_aIncludes bibliographical references.
505	0		_aThe 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.
520	8		_aPresented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.
583			_aCataloging Notes: _c20250102 _kSTAMIU-0199STAMIU-0199
588	0		_aPrint version record.
590			_aJSTOR _bBooks at JSTOR Evidence Based Acquisitions.
650		0	_aLogic, Symbolic and mathematical.
655		0	_aElectronic books.
700	1		_aAppel, Andrew W., _d1960- _eeditor.
776	0	8	_iPrint version: _aTuring, Alan, 1912-1954. _tAlan Turing's systems of logic. _dPrinceton, New Jersey : Princeton University Press, 2012 _z9780691164731 _w(DLC) 2012931772 _w(OCoLC)908946279.
856	4	0	_uhttps://unco.idm.oclc.org/login?url=https://www.jstor.org/stable/10.2307/j.ctv1vbd2dr _zAccess online
942			_2lcc _cBK _n0
999			_c21122 _d21122