LEADER 01594nam0 22003733i 450 001 VAN00255816 005 20240806101445.456 017 70$2N$a9783540382836 100 $a20230314d1973 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aExtensional Gödel Functional Interpretation$eA Consistensy Proof of Classical Analysis$fHorst Luckhardt 210 $aBerlin$cSpringer$d1973 215 $avi, 161 p.$d24 cm 461 1$1001VAN00102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v306 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 610 $aArithmetic$9KW:K 610 $aCalculus$9KW:K 610 $aDifferential equations$9KW:K 610 $aFunctions$9KW:K 610 $aProofs$9KW:K 620 $dBerlin$3VANL000066 700 1$aLuckhardt$bHorst$3VANV209054$059223 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0060871$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 $aVAN00255816 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 5695 $e08eMF5695 20230328 996 $aExtensional Godel functional interpretation$981511 997 $aUNICAMPANIA