01477nam2 2200337 i 450 SUN009251620180720092514.738-0-444-50423-40.0020130122d2001 |0engc50 baengNL|||| |||||2: *Mathematical logicA. M. Turingedited by R. O. Gandy and C. E. M. Yatesincluding prefaces by Solomon Feferman ... [et al.]Amsterdam [etc.] : Elsevier, 2001XII293 p.ill. ; 25 cmPubblicazione in formato elettronico001SUN00925152001 Collected works of A. M. Turing2210 Amsterdam [etc.]North-Holland215 v.25 cm.03-XXMathematical logic and foundations [MSC 2020]MFSUNC019750AmsterdamSUNL001716Turing, Alan M.SUNV016350462424Feferman, SolomonSUNV036234Gandy, Robin O.SUNV074559Yates, C. E. M.SUNV074560ElsevierSUNV000127650Turing, Alan MathisonTuring, Alan M.SUNV074581ITSOL20210503RICAhttps://doi.org/10.1016/B978-0-444-50423-4.50024-3e-bookSUN0092516UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0030 08eMF30 20130122 Mathematical logic1433536UNICAMPANIA