-
西文图书1.Intuitionism : an introduction / O143/HA
馆藏复本:1
可借复本:1 A.Heyting..
North-Holland Pub. Co., 1956.
(0) 馆藏 -
中文图书2.Constructivity in mathematics / 515/H519
馆藏复本:1
可借复本:1 edited by A. Heyting.
North-Holland Pub. Co., 1959.
(0) 馆藏