LEADER 00927nam1 22002533i 450 
001 VAN0092515
005 20211118023759.908
100   $a20130122f1992       |0itac50      ba
101   $aeng
102   $aNL
105   $a||||    |||||
200 1 $aCollected works of A. M. Turing
210   $aAmsterdam [etc.]$cNorth-Holland
215   $avolumi$d25 cm
463  1$1001VAN0092516$12001 $aˆ4: ‰Mathematical logic$fA. M. Turing$gedited by R. O. Gandy and C. E. M. Yates$gincluding prefaces by Solomon Feferman ... [et al.]$1205  $aAmsterdam : Elsevier, 2001. - XII$1210  $v4
620   $dAmsterdam$3VANL001716
700  1$aTuring$bAlan M.$3VANV016350$0462424
712   $aNorth-Holland$3VANV107935$4650
790  1$aTuring, Alan Mathison$zTuring, Alan M.$3VANV074581
801   $aIT$bSOL$c20211122$gRICA
912   $fN
912   $aVAN0092515
996   $aCollected works of A. M. Turing$91407865
997   $aUNICAMPANIA