LEADER 02941nam 2200601 450 001 996466490703316 005 20220304232359.0 010 $a3-540-38759-5 024 7 $a10.1007/BFb0090721 035 $a(CKB)1000000000437930 035 $a(SSID)ssj0000322286 035 $a(PQKBManifestationID)12099100 035 $a(PQKBTitleCode)TC0000322286 035 $a(PQKBWorkID)10282715 035 $a(PQKB)10900440 035 $a(DE-He213)978-3-540-38759-6 035 $a(MiAaPQ)EBC5585360 035 $a(Au-PeEL)EBL5585360 035 $a(OCoLC)1066182092 035 $a(MiAaPQ)EBC6842716 035 $a(Au-PeEL)EBL6842716 035 $a(OCoLC)793078683 035 $a(PPN)155181459 035 $a(EXLCZ)991000000000437930 100 $a20220304d1981 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aConstructive mathematics $eproceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /$fedited by Fred Richman 205 $a1st ed. 1981. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1981] 210 4$dİ1981 215 $a1 online resource (X, 350 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v873 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-10850-5 327 $aSeidenberg'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. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v873 606 $aConstructive mathematics$vCongresses 606 $aIntuitionistic mathematics$vCongresses 615 0$aConstructive mathematics 615 0$aIntuitionistic mathematics 676 $a511.36 702 $aRichman$b Fred$f1938- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466490703316 996 $aConstructive mathematics$979973 997 $aUNISA