01813nam0 22004453i 450 VAN0027783920240806101549.196N978303079010320240612d2022 |0itac50 baengCH|||| |||||Mathematical LogicExercises and SolutionsLaszlo Csirmaz, Zalán GyenisChamSpringer2022viii, 319 p.ill.24 cm001VAN000235822001 Problem books in mathematics210 New York [etc.]Springer1981-00A07Problem books [MSC 2020]VANC021527MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFFirst-order logicKW:KFormal logicKW:KGödel’s theoremsKW:KMathematical logicKW:KPeano axiom systemKW:KPredicate calculusKW:KProblem SolvingKW:KPropositional calculusKW:KRecursion theoryKW:KultraproductSKW:KCHChamVANL001889CsirmazLaszloVANV2303771214591GyenisZalánVANV2303781739975Springer <editore>VANV108073650ITSOL20241115RICAhttps://doi.org/10.1007/978-3-030-79010-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00277839BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 8803 08eMF8803 20240618 Mathematical Logic4164688UNICAMPANIA