---

＜図書＞
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.
(Studies in logic and the foundations of mathematics ; "v. 121, 123")

出版者	Amsterdam : North-Holland
出版年	1988
大きさ	2 v. (879 p.) ; 23 cm
著者標目	Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932- Heyting, A. (Arend), 1898-
件　名	Constructive mathematics
一般注記	Includes indexes ＼ ""This book is dedicated to the memory of our teacher Arend Heyting""--P. iii of v. 2 ＼ Bibliography: p. 853-879

 類似資料