02513nam0 22004813i 450 VAN0027360420240806101537.443978-33-19-00118-020240319d2013 |0itac50 baengCH|||| |||||Logical foundations of mathematics and computational complexitya gentle introductionPavel PudlákChamSpringer2013xiv, 695 p.ill.24 cm001VAN000304862001 Springer monographs in mathematics210 Berlin [etc.]Springer1989-03D15Complexity of computation [MSC 2020]VANC023630MF03E30Axiomatics of classical set theory and its fragments [MSC 2020]VANC024397MF03E35Consistency and independence results [MSC 2020]VANC022003MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF03F20Complexity of proofs [MSC 2020]VANC020911MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MF03F40Gödel numberings and issues of incompleteness [MSC 2020]VANC024403MF68Q15Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]VANC028792MFAlgorithm analysis and problem complexityKW:KAlgorithmic complexityKW:KComplexity of ProofsKW:KComputational complexityKW:KFoundations of mathematicsKW:KIncompleteness theoremsKW:KMathematical logicKW:KSet-Theoretical FoundationsKW:KCHChamVANL001889PudlákPavelVANV04091655693Springer <editore>VANV108073650Pudlak, PavelPudlák, PavelVANV050748ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Logical foundations of mathematics and computational complexity.pdfLogical foundations of mathematics and computational complexity.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00273604BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3504 08DMF868 I 20240506 Logical Foundations of Mathematics and Computational Complexity2515933UNICAMPANIA