02461nam 2200613 450 99646663970331620220821214701.03-540-36130-810.1007/BFb0080643(CKB)1000000000438702(SSID)ssj0000325840(PQKBManifestationID)12069145(PQKBTitleCode)TC0000325840(PQKBWorkID)10266913(PQKB)11215070(DE-He213)978-3-540-36130-5(MiAaPQ)EBC5577254(Au-PeEL)EBL5577254(OCoLC)1066177666(MiAaPQ)EBC6819096(Au-PeEL)EBL6819096(OCoLC)1113543951(PPN)155186590(EXLCZ)99100000000043870220220821d1969 uy 0engurnn#008mamaatxtccrPrinciples of intuitionism lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. /A.S. Troelstra1st ed. 1969.Berlin ;Heidelberg ;New York :Springer-Verlag,[1969]©19691 online resource (IV, 116 p.)Lecture notes in mathematics (Springer-Verlag) ;95Bibliographic Level Mode of Issuance: Monograph3-540-04614-3 Logic -- 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.Lecture notes in mathematics (Springer-Verlag) ;95.Intuitionistic mathematicsProof theoryIntuitionistic mathematics.Proof theory.511.303F55mscTroelstra A. S(Anne Sjerp),57222MiAaPQMiAaPQMiAaPQBOOK996466639703316Principles of intuitionism81302UNISA