TY  - BOOK
AU  - Bridges Douglas
AU  - Richman Fred
TI  - Varietes of constructive mathematics
SN  - 0-521-31802-5
U1  - 511.3 
PY  - 1987///
CY  - Cambridge
PB  - University Press
KW  - Constructive mathematics
KW  - Mathematical logic
ER  -