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 intuitionism81302UNISA02157oam 2200637M 450 991107486260332120191121065737.5(CKB)46368652200041(DGPO)001183807(OCoLC)1065870364(EXLCZ)994636865220004120070221d1837 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAmendment of the Constitution [of the] United States. February 28, 1837. Read, and laid upon the table[Washington, D.C.] :[publisher not identified],1837.1 online resource (14 pages)House report / 24th Congress, 2nd session. House ;no. 296[United States congressional serial set] ;[serial no. 306]Batch processed record: Metadata reviewed, not verified. Some fields updated by batch processes.FDLP item number not assigned.Constitutional amendmentsExecutive departmentsAdministrative agenciesExecutive powerPresidentsGovernment executivesSelection and appointmentUnited StatesImpeachmentsCivil serviceSeparation of powersVetoLegislative materials.lcgftConstitutional amendments.Executive departments.Administrative agencies.Executive power.Presidents.Government executivesSelection and appointmentImpeachments.Civil service.Separation of powers.Veto.Dromgoole George Coke1797-1847Jacksonian (VA)1387359WYUWYUOCLCOOCLCQOCLCOOCLCQBOOK9911074862603321Amendment of the Constitution United States. February 28, 1837. Read, and laid upon the table4649088UNINA