LEADER 01277cam0-22004331i-450-
001 990002558740403321
005 20061218133956.0
035   $a000255874
035   $aFED01000255874
035   $a(Aleph)000255874FED01
035   $a000255874
100   $a20030910d1965----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $ay-------101yy
200 1 $aFormal systems and recursive functions$eproceedings of the eighth logic colloquium, Oxford, July 1963$fedited by J. N. Crossley , M. A. E. Dummett
210   $aAmsterdam$cNorth Holland$d1965
215   $a320 p.$d24 cm
225 1 $aStudies in logic and the foundations of mathematics
610 0 $aInsiemi
610 0 $aStrutture algebriche
610 0 $aLogica
610 0 $aRicorsività
676   $a516
676   $a160
702  1$aCrossley,$bJohn Newsome
702  1$aDummett,$bM.A.E.
710 12$aLogic Colloquium$d<8. ;$f1963 ;$eOxford>$0493303
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990002558740403321
952   $aMXXV-A-240$b34210$fMAS
952   $a7-079$b4718$fFI1
952   $aC-30-(39$b11001$fMA1
959   $aMAS
959   $aFI1
959   $aMA1
996   $aFormal systems and recursive functions$9437000
997   $aUNINA