LEADER 01160nam0 22002773i 450 001 VAN00094132 005 20240806100658.199 100 $a20130626d1957 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aEspropriazione per pubblica utilitā$elezioni tenute nell'Universitā di Bologna durante l'anno accademico 1956-57$fSilvio Lessona$graccolte a cura della dott. Luciana Praga 205 $aBologna : Pātron$b1957 210 $a142 p.$a26 cm 215 $aFondo Tribunale di Napoli. 606 $aEspropriazione per causa di pubblica utilitā$3VANC002772$2FI 620 $dBologna$3VANL000003 700 1$aLessona$bSilvio$3VANV035384$0169817 702 1$aPraga$bLuciana$3VANV075350 712 $aPātron $3VANV108105$4650 801 $aIT$bSOL$c20240906$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00094132 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS FTA.73 $e00FTN8340 20130626 996 $aEspropriazione per pubblica utilitā$9677861 997 $aUNICAMPANIA LEADER 02271nam0 22005053i 450 001 VAN00300075 005 20251031093705.885 017 70$2N$a9789401721097 100 $a20251031d1999 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aLogic and foundations of mathematics$eselected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995$fedited by Andrea Cantini, Ettore Casari, Pierluigi Minari 210 $aDordrecht$cSpringer$cKluwer$d1999 215 $aVIII, 282 p.$cill.$d25 cm 410 1$1001VAN00014231$12001 $aSynthese library$1210 $aDordrecht$cReidel$d1959-$1300 $aL'editore varia in: Kluwer ; [poi] Springer$v280 606 $a00A30$xPhilosophy of mathematics [MSC 2020]$3VANC020829$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aCompactness theorem$9KW:K 610 $aLogic$9KW:K 610 $aModal Logic$9KW:K 610 $aModel theory$9KW:K 610 $aPhilosophy of Science$9KW:K 610 $aPredicate logic$9KW:K 610 $aProof Theory$9KW:K 610 $aScience$9KW:K 610 $aSet Theory$9KW:K 620 $aNL$dDordrecht$3VANL000068 702 1$aCantini$bAndrea$3VANV047029$4340 702 1$aCasari$bEttore$3VANV022152$4340 702 1$aMinari$bPierluigi$3VANV047032$4340 710 12$aInternational Congress of Logic, Methodology and Philosophy of Science$e10th : 1995 : Florence, Italy$3VANV047028$0725789 712 $aKluwer $3VANV108116$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20251114$gRICA 856 4 $uhttps://doi.org/10.1007/978-94-017-2109-7$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 $aVAN00300075 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 13067 $e08eMF13067 20251112 996 $aLogic and foundations of mathematics$91425452 997 $aUNICAMPANIA