Foundations of constructive mathematics : metamathematical studies /
| Κύριος συγγραφέας: | Beeson, Michael J., 1945- |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Berlin :
Springer-Verlag,
1985
|
| Σειρά: |
Ergebnisse der Mathematik und ihrer Grenzgebiete ;
3 |
| Ταξινομικός αριθμός: |
511.3 BE |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 00816nam a2200217 4500 | ||
|---|---|---|---|
| 001 | 1/641 | ||
| 008 | 010518s1985 enk eng | ||
| 020 | |a 3540121730 | ||
| 035 | |l 657 | ||
| 040 | |a DLC |b GR-PeUP | ||
| 082 | 0 | 0 | |a 511.3 BE |
| 100 | 1 | |a Beeson, Michael J., |d 1945- | |
| 245 | 1 | 0 | |a Foundations of constructive mathematics : |b metamathematical studies / |c Michael J. Beeson. |
| 260 | |a Berlin : |b Springer-Verlag, |c 1985 | ||
| 300 | |a xxiii, 466 p. : |b ill. ; |c 25 cm. | ||
| 490 | 1 | |a Ergebnisse der Mathematik und ihrer Grenzgebiete ; | |
| 504 | |a Includes bibliography and indexes. | ||
| 650 | 4 | |a Constructive mathematics. | |
| 830 | |a Ergebnisse der Mathematik und ihrer Grenzgebiete ; |v 3 | ||
| 852 | |a INST |b UNIPILB |c MAIN |e 20040709 |h 511.3 BE |p 00136434 |q 00136434 |t LOAN |y 0 |4 1 | ||
| 856 | 4 | |d /webopac/covers/03/657_3540121730.jpg | |