000 00729nam a2200253Ia 4500
003 OSt
005 20220912151245.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a267
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:(R)p1,N80, M1
100 _aRichman E Ed.
111 _aConference on constructive mathematics (`980 : Lascruces)
245 0 _aProceeding on Constructive Mathematics
260 _aNew York
_b Springer-Verlag
_c1981
300 _avi,347p.
_ccm.
490 _aLecture notes in mathematics; 873
942 _hB:(R)p1,N80, M1
_cTEXL
_2CC
999 _c64596
_d64596