＜Books＞
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
(Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6)
| Publisher | Berlin ; New York : Springer-Verlag |
|---|---|
| Year | c1985 |
| Language | English |
| Size | xxiii, 466 p. ; 25 cm |
| Authors | *Beeson, Michael J., 1945- |
| Subjects | LCSH:Constructive mathematics NDLSH:記号論理学 |
| Notes | Bibliography: p. [439]-449 Includes indexes |
TOC
Hide book details.
| Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 数学図書室(図書) | 図書 | U.S. | 410.96//B32 |
|
0387121730 |
|
|
|
0085045364 |
Similar Items
Usage statistics of this contents
Number of accesses to this page：2times
※After Sep 4, 2017
Total Lendings：0times
(Lending within 3 months：0times)