LEADER 02461nam 2200613 450 001 996466639703316 005 20220821214701.0 010 $a3-540-36130-8 024 7 $a10.1007/BFb0080643 035 $a(CKB)1000000000438702 035 $a(SSID)ssj0000325840 035 $a(PQKBManifestationID)12069145 035 $a(PQKBTitleCode)TC0000325840 035 $a(PQKBWorkID)10266913 035 $a(PQKB)11215070 035 $a(DE-He213)978-3-540-36130-5 035 $a(MiAaPQ)EBC5577254 035 $a(Au-PeEL)EBL5577254 035 $a(OCoLC)1066177666 035 $a(MiAaPQ)EBC6819096 035 $a(Au-PeEL)EBL6819096 035 $a(OCoLC)1113543951 035 $a(PPN)155186590 035 $a(EXLCZ)991000000000438702 100 $a20220821d1969 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPrinciples of intuitionism $electures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. /$fA.S. Troelstra 205 $a1st ed. 1969. 210 1$aBerlin ;$aHeidelberg ;$aNew York :$cSpringer-Verlag,$d[1969] 210 4$dİ1969 215 $a1 online resource (IV, 116 p.) 225 1 $aLecture notes in mathematics (Springer-Verlag) ;$v95 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-04614-3 327 $aLogic -- Elementary arithmetic -- Species -- Sequences and constructive (lawlike) objects -- Elementary theory of real numbers -- Ordering relations and order on the real line -- Constructive or lawlike analysis -- Lawless sequences of natural numbers -- Choice sequences -- Spreads and a theory of real numbers -- Topology; separable metric spaces -- Applications of the continuity principles and the fan theorem -- Well-orderings and ordinals -- Species revisited; the role of the comprehension principle -- Brouwer's theory of the creative subject. 410 0$aLecture notes in mathematics (Springer-Verlag) ;$v95. 606 $aIntuitionistic mathematics 606 $aProof theory 615 0$aIntuitionistic mathematics. 615 0$aProof theory. 676 $a511.3 686 $a03F55$2msc 700 $aTroelstra$b A. S$g(Anne Sjerp),$057222 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466639703316 996 $aPrinciples of intuitionism$981302 997 $aUNISA