Wird geladen...
From Sets and Types to Topology and Anlysis - towards practicable foundations for constructive mathematics/
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Printed Book |
| Sprache: | English |
| Veröffentlicht: |
clarendon press,
2005.
|
| LEADER | 00495nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 120707s9999 xx 000 0 eng d | ||
| 100 | |a Crosilla, L | ||
| 245 | 0 | |a From Sets and Types to Topology and Anlysis - towards practicable foundations for constructive mathematics/ | |
| 260 | |b clarendon press, |c 2005. | ||
| 700 | 1 | |a Schuster, Peter. | |
| 942 | |c BK | ||
| 999 | |c 133979 |d 133979 | ||
| 952 | |0 0 |1 0 |4 0 |6 28_000000000000000_CRO |7 0 |9 148251 |a MAT |b MAT |c ST1 |d 2012-07-10 |i 4929 |l 0 |o 28 CRO |p MAT4929 |r 2013-08-01 |w 2013-08-01 |y BK | ||