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 LEADER 01389nam0 22003011i 450 001 UON00482976 005 20231205105256.558 010 $a978-88-940037-6-5 100 $a20171124f2015 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| 1|||| 200 1 $aLingue tecniche e retorica dei generi letterari nelle Eclogae di G. Pontano$fCarmela Vera Tufano 210 $aNapoli$cP. Loffredo Iniziative Editoriali$dc2015 215 $a623 p.$d24 cm 316 $aDono del prof. Guido Maria Cappelli$5IT-UONSI ITA870 BPON TUF 410 1$1001UON00482980$12001 $aLatinae Humanitatis Iitinera Nova$1210 $aNapoli$cP. Loffredo Iniziative Editoriali$v1 606 $aPONTANO GIOVANNI$3UONC042175$2FI 620 $aIT$dNapoli$3UONL000012 676 $a870.4$cLetteratura latina. Periodo moderno, 1350-$v21 700 1$aTUFANO$bCarmela Vera$3UONV230791$0747495 712 $aLoffredo, Iniziative Editoriali$3UONV281997$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00482976 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI ITA 870 B PON TUF $eSI 24274 7 Dono del prof. Guido Maria Cappelli 996 $aLingue tecniche e retorica dei generi letterari nelle Eclogae di G. Pontano$91493382 997 $aUNIOR