00814nam0-22002891i-450-99000649302040332120001010000649302FED01000649302(Aleph)000649302FED0100064930220001010d--------km-y0itay50------baitay-------001yy<<The >>Theory and Practice of African PoliticsChristian P. PotholmEnglewood CliffsPrentice-Hall1979.XII, 307 p.22 cm320.96Potholm,Christian P.244422ITUNINARICAUNIMARCBK990006493020403321XIV E 165116760FSPBCFSPBCTheory and Practice of African Politics653730UNINAGEN0102941nam 2200601 450 99646649070331620220304232359.03-540-38759-510.1007/BFb0090721(CKB)1000000000437930(SSID)ssj0000322286(PQKBManifestationID)12099100(PQKBTitleCode)TC0000322286(PQKBWorkID)10282715(PQKB)10900440(DE-He213)978-3-540-38759-6(MiAaPQ)EBC5585360(Au-PeEL)EBL5585360(OCoLC)1066182092(MiAaPQ)EBC6842716(Au-PeEL)EBL6842716(OCoLC)793078683(PPN)155181459(EXLCZ)99100000000043793020220304d1981 uy 0engurnn|008mamaatxtccrConstructive mathematics proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /edited by Fred Richman1st ed. 1981.Berlin, Germany ;New York, New York :Springer-Verlag,[1981]©19811 online resource (X, 350 p.) Lecture Notes in Mathematics,0075-8434 ;873Bibliographic Level Mode of Issuance: Monograph3-540-10850-5 Seidenberg's condition P -- Field extensions -- Dedekind domains -- Effective mathematics — the computer algebra viewpoint -- On some open problems in constructive probability theory -- Consistency and independence results in intuitionistic set theory -- Errata -- Computability of ordinal recursion of type level two -- A constructive approach to classical mathematics -- Remarks on the notion of standard non-isomorphic natural number series -- Reflections on Bishop's philosophy of mathematics -- Formalizing constructive mathematics: Why and how? -- Independence of premisses and the free topos -- An intuitionistic infinitesimal calculus -- Liberal constructive set theory -- Locating metric complements in ?n -- A disjunctive decomposition theorem for classical theories -- Towards a constructive foundation for quantum mechanics -- About infinity, finiteness and finitization (in connection with the foundations of mathematics) -- A class of theorems with valid constructive counterparts -- Rational constructive analysis.Lecture Notes in Mathematics,0075-8434 ;873Constructive mathematicsCongressesIntuitionistic mathematicsCongressesConstructive mathematicsIntuitionistic mathematics511.36Richman Fred1938-MiAaPQMiAaPQMiAaPQBOOK996466490703316Constructive mathematics79973UNISA