---

＜図書＞
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman.
(Lecture notes in mathematics ; 873)

出版者	Berlin : Springer
出版年	1981
大きさ	vi, 347 p. ; 25 cm.
著者標目	Richman, Fred, 1938-
件　名	Constructive mathematics -- Congresses  全ての件名で検索 Intuitionistic mathematics -- Congresses  全ての件名で検索

 類似資料