LEADER 01822nam0 22004453i 450 001 VAN00277839 005 20250506102127.77 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$1001VAN00023582$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 incompleteness theorem$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$c20250509$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 $aVAN00277839 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 8803 $e08eMF8803 20240618 996 $aMathematical Logic$94164688 997 $aUNICAMPANIA