01654nam0 22004213i 450 VAN027783920240612021647.491N978303079010320240612d2022 |0itac50 baengCH|||| |||||Mathematical LogicExercises and SolutionsLaszlo Csirmaz, Zalán GyenisChamSpringer2022viii, 319 p.ill.24 cm001VAN00235822001 Problem books in mathematics210 New York [etc.]SpringerFirst-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>VANV108073650ITSOL20240621RICAhttps://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-CE0120VAN08NVAN0277839BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-Book 8803 08eMF8803 20240618 Mathematical Logic4164688UNICAMPANIA