LEADER 01983nam0 22004213i 450 001 VAN0274862 005 20240524022042.95 017 70$2N$a9783030872960 100 $a20240412d2021 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aKurt Gödel$eThe Princeton Lectures on Intuitionism$fMaria Hämeen-Anttila, Jan von Plato editors 210 $aCham$cSpringer$d2021 215 $aix, 133 p.$cill.$d24 cm 410 1$1001VAN0051123$12001 $aSources and studies in the history of mathematics and physical sciences$1210 $aBerlin [etc.]$cSpringer 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a01A60$xHistory of mathematics in the 20th century [MSC 2020]$3VANC021492$2MF 606 $a01A75$xCollected or selected works; reprintings or translations of classics [MSC 2020]$3VANC021493$2MF 606 $a03C10$xQuantifier elimination, model completeness and related topics [MSC 2020]$3VANC028773$2MF 610 $aArbeitshefte$9KW:K 610 $aAxiomatic intuitionistic logic$9KW:K 610 $aConstructive reasoning$9KW:K 610 $aDialectica paper$9KW:K 610 $aHeyting arithmetic$9KW:K 610 $aProperties of partial recursive functions$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aHämeen-Anttila$bMaria$3VANV227311 702 1$aPlato$bJan von$3VANV227312 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-030-87296-0$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 $aVAN0274862 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 8283 $e08eMF8283 20240430 996 $aKURT Godel$9375158 997 $aUNICAMPANIA