01265nam a2200313 i 450099100147564970753620020507194139.0931123s1987 uk ||| | eng 0521318025b1085261x-39ule_instLE01312824ExLDip.to Matematicaeng511.3AMS 03FQA9.56.B75Bridge, Douglas537314Varieties of constructive mathematics /Douglas Bridge, Fred RichmanCambridge :Cambridge University Press,1987x, 149 p. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;97Constructive mathematicsRichman, Fredauthorhttp://id.loc.gov/vocabulary/relators/aut48605.b1085261x23-02-1728-06-02991001475649707536LE013 03F BRI11 C.2 (1987)22013000129464le013-E0.00-l- 00000.i1096415028-06-02LE013 03F BRI11 C.1 (1987)12013000129471le013-E0.00-l- 00000.i1096416228-06-02Varieties of constructive mathematics1456096UNISALENTOle01301-01-93ma -enguk 02