000			00766nam a22002297a 4500
999			_c17209 _d17209
003			OSt
005			20190121103219.0
008			190121b ||||| |||| 00| 0 eng d
020			_a9780691164731
020			_a9780691155746
040			_aSEKU
050			_aQA 9.2 _b.A54
130			_aAlan Turing's systems of logic: the princeton thesis.
245			_aAlan Turing's systems of logic : _bthe princeton thesis / _cEdited and introduced by Andrew W. Appel.
260			_aNew Jersey : _bPrinceton University Press, _c2012.
300			_a142 p. : _bill
504			_aIncludes bibliographical references and index.
600			_aTuring, Alan Mathison. _d1912-1954.
650			_aLogic, Symbolic and mathematical
700			_aAppel, Andrew W.
942			_2lcc _cGEN