TY  - BOOK
AU  - Beeson Michael J
TI  - Foundation of constructive mathematics: mathematical studies
SN  - 3-540-12173-0
U1  - 511.3 
PY  - 1985///
CY  - Berlin
PB  - Springer-Verlag
KW  - Construtive mathematics
KW  - Mathematical logic
ER  -