01056nam0-22003491i-450-99000793444040332120041020081425.00-444-50423-0000793444FED01000793444(Aleph)000793444FED0100079344420041020d2001----km-y0itay50------baengNLa---a---001yyMathematical logicA.M. Turingedited by the late R.O. Gandy and C.E.M. Yatesincluding prefaces by Solomon Feferman ... [et al.]Amsterdam [etc.]North-Holland2001XII, 293 p.ill.25 cmCollected works of A.M. TuringStoria della matematicaTuring,Alan Mathison53370Gandy,R.O.Yates,C.E.M.Feferman,SolomonITUNINARICAUNIMARCBK9900079344404033216B-107.003D.S.F. 8317FI1FI1Mathematical logic748371UNINA