LEADER 02481nam0 2200529 i 450 001 VAN00126631 005 20240806100822.52 017 70$2N$a9783030289218 100 $a20200211d2019 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aˆA ‰Model?Theoretic Approach to Proof Theory$fHenryk Kotlarski$gedited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski 210 $aCham$cSpringer$d2019 215 $axviii, 123 p.$d24 cm 410 1$1001VAN00103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$v51 500 1$3VAN00236615$aˆA ‰Model?Theoretic Approach to Proof Theory$91668083 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$2MF 606 $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF 610 $aArithmetized Completeness Theorem$9KW:K 610 $aCombinatorics of Alfa Large Sets$9KW:K 610 $aGödel's Incompleteness Theorems$9KW:K 610 $aHardy Hierarchy of Functions$9KW:K 610 $aIndependence Results for Peano Arithmetic$9KW:K 610 $aKetonen-Solovay Largeness Notion$9KW:K 610 $aModel Theory of Arithmetic$9KW:K 610 $aModel theoretic$9KW:K 610 $aNonstandard Satisfaction Classes$9KW:K 610 $aOrdinal combinatorics$9KW:K 610 $aProofs of Incompleteness Theorems$9KW:K 610 $aSubsystems of Peano Arithmetic$9KW:K 610 $aTransfinite Induction in Arithmetic$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aKotlarski$bHenryk$3VANV098007$0780954 702 1$aAdamowicz$bZofia$3VANV040059$4340 702 1$aBigorajska$bTeresa$3VANV098008$4340 702 1$aZdanowski$bKonrad$3VANV098009$4340 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-28921-8$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00126631 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 1471 $e08eMF1471 20200211 996 $aModel?Theoretic Approach to Proof Theory$91668083 997 $aUNICAMPANIA