LEADER 01865nam0 22004453i 450 001 VAN0260483 005 20230922020310.654 017 70$2N$a9783642664731 100 $a20230629d1977 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aProof Theory$fKurt Schütte$gTranslation from the German by J. N. Crossley 210 $aBerlin$cSpringer$d1977 215 $axii, 302 p.$d24 cm 410 1$1001VAN0024107$12001 $aGrundlehren der mathematischen Wissenschaften$eA series of comprehensive texts in mathematics$1210 $aBerlin [etc.]$cSpringer$v225 500 1$3VAN0260484$aBeweistheorie$934430 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 610 $aCalculation$9KW:K 610 $aFinite$9KW:K 610 $aFunctions$9KW:K 610 $aOrdinals$9KW:K 610 $aPredicate logic$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 610 $aType theory$9KW:K 620 $dBerlin$3VANL000066 700 1$aSchütte$bKurt$3VANV214613$0346092 702 1$aCrossley$bJohn N.$3VANV043240$4730 712 $aSpringer $3VANV108073$4650 790 1$aCrossley, John Newsome$zCrossley, John N.$3VANV209668 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-642-66473-1$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 $aVAN0260483 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6064 $e08eMF6064 20230710 996 $aBeweistheorie$934430 997 $aUNICAMPANIA