01676nam0 22003853i 450 VAN027820920240730041501.574N978303113417320240618d2022 |0itac50 baengCH|||| |||||ˆThe ‰Theory of GödelCarlo CellucciChamSpringer2022ix, 159 p.ill.24 cm001VAN00142312001 Synthese library210 DordrechtReidel300 L'editore varia in: Kluwer ; [poi] Springer47001A70Biographies, obituaries, personalia, bibliographies [MSC 2020]VANC019752MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03CxxModel theory [MSC 2020]VANC024387MFFoundations of mathematicsKW:KHilbert's ProgramsKW:KIncompleteness theoremsKW:KLimitative resultsKW:KPhilosophy of mathematicsKW:KCHChamVANL001889CellucciCarloVANV01787245650Springer <editore>VANV108073650ITSOL20240802RICAhttps://doi.org/10.1007/978-3-031-13417-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0278209BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-Book 8924 08eMF8924 20240701 Theory of Gödel4165509UNICAMPANIA