| NCID | BA04222041 |
| タイトル | Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen |
| 出版者 | Amsterdam ; Tokyo : North-Holland , 1988 |
| 形態 | 2 v. (879 p.) ; 23 cm |
| 注記 | Includes indexes
"This book is dedicated to the memory of our teacher Arend Heyting"--P. iii of v. 2
Bibliography: p. 853-879 |
| シリーズ名 | Studies in logic and the foundations of mathematics ; v. 121, 123
|
| 分類 | LCC:QA9.56
DC19:511.3
NDC7:410.12
NDC8:410.96 |
| 件名 | LCSH:Constructivemathematics
|
| 著者情報 | Troelstra, A. S. (Anne Sjerp)
Dalen, D. van (Dirk), 1932-
Heyting, A. (Arend), 1898-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | オランダ |
| ISBN | 0444702660(v. 1)
0444705066(v. 1:pbk.)
0444703586(v. 2)
|
| 番号 | LCCN : 88005240 |