LEADER 01056nam0-22003491i-450-
001 990007934440403321
005 20041020081425.0
010   $a0-444-50423-0
035   $a000793444
035   $aFED01000793444
035   $a(Aleph)000793444FED01
035   $a000793444
100   $a20041020d2001----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---001yy
200 1 $aMathematical logic$fA.M. Turing$gedited by the late R.O. Gandy and C.E.M. Yates$gincluding prefaces by Solomon Feferman ... [et al.]
210   $aAmsterdam [etc.]$cNorth-Holland$d2001
215   $aXII, 293 p.$cill.$d25 cm
225 1 $aCollected works of A.M. Turing
610 0 $aStoria della matematica
700  1$aTuring,$bAlan Mathison$053370
702  1$aGandy,$bR.O.
702  1$aYates,$bC.E.M.
702  1$aFeferman,$bSolomon
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990007934440403321
952   $a6B-107.003$bD.S.F. 8317$fFI1
959   $aFI1
996   $aMathematical logic$9748371
997   $aUNINA