02209nam0 22005413i 450 VAN0028378820250606031225.490978-30-315-5367-720241206d2024 |0itac50 baengCH|||| |||||i e nncˆAn ‰Invitation to Mathematical LogicDavid MarkerChamSpringer2024xviii, 357 p.ill.24 cm001VAN000235792001 Graduate texts in mathematics210 New York [etc.]Springer1950-30103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03CxxModel theory [MSC 2020]VANC024387MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFCompleteness theoremKW:KComputabilityKW:KGodel's completenessKW:KGödel incompleteness theoremKW:KHilbert's 10th problemKW:KIncompleteness theoremKW:KLogic for Computer ScienceKW:KLogic for philosophyKW:KMarker GTMKW:KMathematical logicKW:KModel theory introductionKW:KPeano arithmeticKW:KQuantifier eliminationKW:KTuring reducibilityKW:KUltraproductsKW:KCHChamVANL001889MarkerDavidVANV04139766978Springer <editore>VANV108073650ITSOL20250613RICA/sebina/repository/catalogazione/documenti/An invitation to mathematical logic.pdfAn invitation to mathematical logic.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00283788BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2615 08DMF1032 III 20241206 Invitation to Mathematical Logic4299915UNICAMPANIA