01371nam a2200361 i 450099100078471970753620020507173542.0950911s1981 de ||| | eng 3540108505b10756899-39ule_instLE01302280ExLDip.to Matematicaeng510511.3AMS 03-06AMS 03-XXAMS 03FRichman, Fred48605Constructive mathematics :proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /edited by F. RichmanBerlin :Springer-Verlag,1981vi, 347 p. ;25 cm.Lecture notes in mathematics,0075-8434 ;873Includes bibliographical references and indexConstructive mathematicsCongressesIntuitionistic mathematicsCongressesMathematical logic and foundationsCongressesProof theoryCongresses.b1075689923-02-1728-06-02991000784719707536LE013 03-XX RIC21 (1981)12013000034898le013-E0.00-l- 00000.i1085130628-06-02Constructive mathematics339692UNISALENTOle01301-01-95ma -engde 01