01582nas 2200505- 450 991023155450332120220125084410.02574-0970(OCoLC)999606542(CKB)3810000000289616(CONSER)--2017201794(DE-599)ZDB2916552-0(EXLCZ)99381000000028961620170804a20189999 --- aengur|||||||||||txtrdacontentcrdamediacrrdacarrierACS applied nano materialsWashington, DC :American Chemical Society,[2018-]Refereed/Peer-reviewedAmerican Chemical Society applied nano materialsApplied nano materialsACS appl. nano mater.NanochemistryPeriodicalsNanostructured materialsPeriodicalsNanotechnologyPeriodicalsNanotechnologyfast(OCoLC)fst01032639Nanostructured materialsfast(OCoLC)fst01032630Nanochemistryfast(OCoLC)fst01741250Periodicals.fastPeriodicals.lcgftNanochemistryNanostructured materialsNanotechnologyNanotechnology.Nanostructured materials.Nanochemistry.620.1/15American Chemical Society,JOURNAL9910231554503321ACS applied nano materials1762162UNINA01822nam0 22004453i 450 VAN0027783920250506102127.77N978303079010320240612d2022 |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 incompleteness theoremKW:KMathematical logicKW:KPeano axiom systemKW:KPredicate calculusKW:KProblem SolvingKW:KPropositional calculusKW:KRecursion theoryKW:KUltraproductsKW:KCHChamVANL001889CsirmazLaszloVANV2303771214591GyenisZalánVANV2303781739975Springer <editore>VANV108073650ITSOL20250509RICAhttps://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