LEADER 01810nam0 22004453i 450 001 VAN0277839 005 20240717022121.356 017 70$2N$a9783030790103 100 $a20240612d2022 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aMathematical Logic$eExercises and Solutions$fLaszlo Csirmaz, Zalán Gyenis 210 $aCham$cSpringer$d2022 215 $aviii, 319 p.$cill.$d24 cm 410 1$1001VAN0023582$12001 $aProblem books in mathematics$1210 $aNew York [etc.]$cSpringer$d1981- 606 $a00A07$xProblem books [MSC 2020]$3VANC021527$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aFirst-order logic$9KW:K 610 $aFormal logic$9KW:K 610 $aGödel?s theorems$9KW:K 610 $aMathematical logic$9KW:K 610 $aPeano axiom system$9KW:K 610 $aPredicate calculus$9KW:K 610 $aProblem Solving$9KW:K 610 $aPropositional calculus$9KW:K 610 $aRecursion theory$9KW:K 610 $aultraproductS$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aCsirmaz$bLaszlo$3VANV230377$01214591 701 1$aGyenis$bZalán$3VANV230378$01739975 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240719$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-030-79010-3$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 $aVAN0277839 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-Book 8803 $e08eMF8803 20240618 996 $aMathematical Logic$94164688 997 $aUNICAMPANIA LEADER 01695nam0 22002891i 450 001 VAN00028896 005 20240806100339.492 100 $a20041126d2000 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aAlle origini dell'università dell'Aquila$ecultura, università, collegi gesuitici all'inizio dell'età moderna in Italia meridionale$eatti del convegno internazionale di studi promosso dalla Compagnia di Gesù e dall'Università dell'Aquila nel 4. centenario dell'istituzione dell'Aquilanum Collegium (1596)$eL'Aquila, 8-11 novembre 1995$fa cura di Filippo Iappelli e Ulderico Parente 210 $aRoma$cInstitutum Historicum$d2000 215 $a824 p.$cill.$d24 cm. 410 1$1001VAN00028899$12001 $aBibliotheca instituti historici S.I$1210 $aRoma$cInstitutum Historicum S.I.$v52 620 $dRoma$3VANL000360 702 1$aIappelli$bFilippo$3VANV023899 702 1$aParente$bUlderico$3VANV023900 712 $aInstitutum historicum S. I.$3VANV108657$4650 801 $aIT$bSOL$c20240906$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$1IT-CE0103$2VAN07 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$1IT-CE0107$2VAN01 912 $aVAN00028896 950 $aBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07CONS D.Aquila 1995 $e07 9759 20070914 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$d01PREST IEa55 $e01 26393 20050428 996 $aAlle origini dell'Università dell'Aquila$977503 997 $aUNICAMPANIA