01077nam a2200325 i 450099100090497970753620020507175559.0930929s1985 de ||| | eng 3540121730b1077371x-39ule_instLE01304105ExLDip.to Matematicaeng511.3AMS 03FAMS 03F50AMS 03F55AMS 03F60AMS 03F65QA9.56.B44Beeson, Michael J.49310Foundations of constructive mathematics :mathematical studies /Michael J. BeesonBerlin :Springer-Verlag,1985xxiii, 466 p. ;24 cm.Constructive mathematics.b1077371x21-09-0628-06-02991000904979707536LE013 03F BEE11 (1985)12013000072630le013-E0.00-l- 00000.i1087237128-06-02Foundations of constructive mathematics82681UNISALENTOle01301-01-93ma -engde 01