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 LEADER 01534nam1 22003373i 450 001 VAN00281286 005 20260616041209.297 010 $a978-88-313-4196-7 035 40$a1591487838 100 $a20240920d2024 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aNova Bibliotheca Pompeiana, Herculanensia, Stabiana Oplontinaque$e bibliografia analitica e repertorio enciclopedico sulle cittŕ vesuviane$fLaurentino García y García$gcon presentazione di Gabriel Zuchtriegel 205 $aNuova edizione 210 $a Roma$cArbor Sapientiae$d2024 215 $a3 volumi$d27 cm 410 1$1001VAN00281287$12001 $aQuaderni di nuova bibliotheca pompeiana. Series Maior$1210 $aRoma$cArbor Sapientiae$v6 463 \1$1001VAN00281288$12001 $a<<1: >>A-D 463 \1$1001VAN00281290$12001 $a<<2: >>E-O 463 \1$1001VAN00281291$12001 $a<<3: >>P-Z 620 $dRoma$3VANL000360 700 1$aGarcia y Garcia$bLaurentino$3VANV043408$0428195 702 1$aZuchtriegel$bGabriel$f1981-$3VANV215406 712 $aArbor Sapientiae $3VANV216828$4650 801 $aIT$bSOL$c20260619$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$1IT-CE0103$2VAN07 912 $aVAN00281286 950 $aBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07CONS LEX B 34 I/II/III $e07UBL3798 20240920 996 $aNova Bibliotheca Pompeiana, Herculanensia, Stabiana Oplontinaque$94311122 997 $aUNICAMPANIA