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 |