02502nam0 22004813i 450 VAN027360420240319090441.55978-33-19-00118-020240319d2013 |0itac50 baengCH|||| |||||Logical foundations of mathematics and computational complexitya gentle introductionPavel PudlákChamSpringer2013xiv, 695 p.ill.24 cm001VAN00304862001 Springer monographs in mathematics210 Berlin [etc.]Springer03F20Complexity of proofs [MSC 2020]VANC020911MF03E35Consistency and independence results [MSC 2020]VANC022003MF03D15Complexity of computation [MSC 2020]VANC023630MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF03E30Axiomatics of classical set theory and its fragments [MSC 2020]VANC024397MF03F30First-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, PavelVANV050748ITSOL20240614RICA/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-CE0120VAN08VAN0273604BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3504 08DMF868 I 20240506 Logical Foundations of Mathematics and Computational Complexity2515933UNICAMPANIA