00927nam1 22002533i 450 VAN009251520211118023759.90820130122f1992 |0itac50 baengNL|||| |||||Collected works of A. M. TuringAmsterdam [etc.]North-Hollandvolumi25 cm001VAN00925162001 ˆ4: ‰Mathematical logicA. M. Turingedited by R. O. Gandy and C. E. M. Yatesincluding prefaces by Solomon Feferman ... [et al.]205 Amsterdam : Elsevier, 2001. - XII210 4AmsterdamVANL001716TuringAlan M.VANV016350462424North-HollandVANV107935650Turing, Alan MathisonTuring, Alan M.VANV074581ITSOL20211122RICANVAN0092515Collected works of A. M. Turing1407865UNICAMPANIA