01745nam2 2200361 i 450 VAN0009251620240806100654.96N978008053592020130122d2001 |0itac50 baengNL|||| |||||ˆ4: ‰Mathematical logicA. M. Turingedited by R. O. Gandy and C. E. M. Yatesincluding prefaces by Solomon Feferman ... [et al.]AmsterdamElsevier2001XII, 293 p.ill.25 cm001VAN000925152001 Collected works of A. M. Turing210 Amsterdam [etc.]North-Holland215 volumi25 cm4VAN00234734Collected works of A. M. Turing. 4, Mathematical logic308849103-XXMathematical logic and foundations [MSC 2020]VANC019750MFAmsterdamVANL001716TuringAlan M.VANV016350462424FefermanSolomonVANV036234GandyRobin O.VANV074559YatesC. E. M.VANV074560Elsevier <editore>VANV108024650Turing, Alan MathisonTuring, Alan M.VANV074581ITSOL20241115RICAhttps://www.sciencedirect.com/book/9780444504234/mathematical-logicE-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00092516BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 0030 08eMF30 20130122 Collected works of A. M. Turing. 4, Mathematical logic3088491UNICAMPANIA