LEADER 01745nam2 2200361 i 450 
001 VAN00092516
005 20240806100654.96
017 70$2N$a9780080535920
100   $a20130122d2001       |0itac50      ba
101   $aeng
102   $aNL
105   $a||||    |||||
200 1 $aˆ4: ‰Mathematical logic$fA. M. Turing$gedited by R. O. Gandy and C. E. M. Yates$gincluding prefaces by Solomon Feferman ... [et al.]
210   $aAmsterdam$cElsevier$d2001
215   $aXII, 293 p.$cill.$d25 cm
461  1$1001VAN00092515$12001 $aCollected works of A. M. Turing$1210  $aAmsterdam [etc.]$cNorth-Holland$1215  $avolumi$d25 cm$v4
500  1$3VAN00234734$aCollected works of A. M. Turing. 4, Mathematical logic$93088491
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
620   $dAmsterdam$3VANL001716
700  1$aTuring$bAlan M.$3VANV016350$0462424
702  1$aFeferman$bSolomon$3VANV036234
702  1$aGandy$bRobin O.$3VANV074559
702  1$aYates$bC. E. M.$3VANV074560
712   $aElsevier <editore>$3VANV108024$4650
790  1$aTuring, Alan Mathison$zTuring, Alan M.$3VANV074581
801   $aIT$bSOL$c20241115$gRICA
856 4 $uhttps://www.sciencedirect.com/book/9780444504234/mathematical-logic$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $fN
912   $aVAN00092516
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD     e-book                  0030        $e08eMF30                20130122            
996   $aCollected works of A. M. Turing. 4, Mathematical logic$93088491
997   $aUNICAMPANIA