LEADER 01783nam0 22004213i 450 001 VAN0254795 005 20230523020858.456 017 70$2N$a9783540361305 100 $a20230216d1969 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aPrinciples of Intuitionism$eLectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY$fA. S. Troelstra 210 $aBerlin$cSpringer$d1969 215 $a111 p.$cill.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v95 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 610 $aArithmetic$9KW:K 610 $aIntuitionism$9KW:K 610 $aMathematics$9KW:K 610 $aOrdinals$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 610 $aTheorem$9KW:K 610 $aTopology$9KW:K 610 $aWell-ordering principles$9KW:K 620 $dBerlin$3VANL000066 700 1$aTroelstra$bAnne S.$3VANV207757$01276617 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0080643$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 $aVAN0254795 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5430 $e08eMF5430 20230301 996 $aPrinciples of Intuitionism$93008270 997 $aUNICAMPANIA