-
西文图书1.Choice sequences : a chapter of intuitionistic mathematics / O143/TAS
馆藏复本:3
可借复本:2 by A. S. Troelstra.
Clarendon Press, 1977.
(0) 馆藏 -
西文图书2.Intuitionism : an introduction / O143/HA
馆藏复本:1
可借复本:1 A.Heyting..
North-Holland Pub. Co., 1956.
(0) 馆藏