＜Books＞
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.
(Studies in logic and the foundations of mathematics ; "v. 121, 123")
| Publisher | Amsterdam : North-Holland |
|---|---|
| Year | 1988 |
| Size | 2 v. (879 p.) ; 23 cm |
| Authors | Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932- Heyting, A. (Arend), 1898- |
| Subjects | Constructive mathematics |
| Notes | Includes indexes ＼ ""This book is dedicated to the memory of our teacher Arend Heyting""--P. iii of v. 2 ＼ Bibliography: p. 853-879 |
TOC
Hide book details.
| Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 数学図書室(図書) | 図書 | vol.1 | 410.8//St9//VX3-121 |
|
|
0444702660 | 1988 |
|
|
0089103114 | |
| 数学図書室(図書) | 図書 | vol.2 | 410.8//St9//VX3-123 |
|
|
0444703586 | 1988 |
|
|
0089103125 |
Similar Items
Usage statistics of this contents
Number of accesses to this page：10times
※After Sep 4, 2017
Total Lendings：0times
(Lending within 3 months：0times)