Varieties of constructive mathematics
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Cambridge Univ. Pr.
1987
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 001 | 51183 | ||
| 003 | BD-SaJUCL | ||
| 040 | |a BD-SaJUCL |c BD-SaJUCL |d BD-SaJUCL | ||
| 942 | |2 ddc |c BK |n 1 | ||
| 100 | 1 | |a Bridges, Douglas |9 19683 | |
| 245 | 1 | 0 | |a Varieties of constructive mathematics |c / Douglas Bridges |
| 260 | |b Cambridge Univ. Pr. |c 1987 | ||
| 300 | |a x, 149p. |c 22cm. | ||
| 082 | 0 | 4 | |a 511.3 |
| 650 | 0 | |a Logic, Symbolic and mathematical |9 12037 | |
| 509 | |a Mehedi_Hasan_68_3_Document_6_495.jpg_processed | ||
| 999 | |c 51183 |d 51179 | ||