LEADER 02502nam0 22004813i 450 001 VAN0273604 005 20240319090441.55 010 $a978-33-19-00118-0 100 $a20240319d2013 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aLogical foundations of mathematics and computational complexity$ea gentle introduction$fPavel Pudlák 210 $aCham$cSpringer$d2013 215 $axiv, 695 p.$cill.$d24 cm 410 1$1001VAN0030486$12001 $aSpringer monographs in mathematics$1210 $aBerlin [etc.]$cSpringer 606 $a03F20$xComplexity of proofs [MSC 2020]$3VANC020911$2MF 606 $a03E35$xConsistency and independence results [MSC 2020]$3VANC022003$2MF 606 $a03D15$xComplexity of computation [MSC 2020]$3VANC023630$2MF 606 $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$3VANC023705$2MF 606 $a03E30$xAxiomatics of classical set theory and its fragments [MSC 2020]$3VANC024397$2MF 606 $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF 606 $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$3VANC024403$2MF 606 $a68Q15$xComplexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]$3VANC028792$2MF 610 $aAlgorithm analysis and problem complexity$9KW:K 610 $aAlgorithmic complexity$9KW:K 610 $aComplexity of Proofs$9KW:K 610 $aComputational complexity$9KW:K 610 $aFoundations of mathematics$9KW:K 610 $aIncompleteness theorems$9KW:K 610 $aMathematical logic$9KW:K 610 $aSet-Theoretical Foundations$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aPudlák$bPavel$3VANV040916$055693 712 $aSpringer $3VANV108073$4650 790 1$aPudlak, Pavel$zPudlák, Pavel$3VANV050748 801 $aIT$bSOL$c20240614$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Logical foundations of mathematics and computational complexity.pdf$zLogical foundations of mathematics and computational complexity.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0273604 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 3504 $e08DMF868 I 20240506 996 $aLogical Foundations of Mathematics and Computational Complexity$92515933 997 $aUNICAMPANIA