<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)