| 000 | 00308nam a2200097Ia 4500 | ||
|---|---|---|---|
| 008 | 240404s9999 xx 000 0 und d | ||
| 100 | _aBeeson, Michael J. | ||
| 245 | 0 |
_aFoundations of constructive mathematics: Metamathematical Studies _cMichael J. Beeson |
|
| 260 |
_aBerlin _bSpringer _c1985 |
||
| 942 |
_aIMAR _cCART |
||
| 999 |
_c7150 _d7150 |
||