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