---

＜図書＞
The foundations of intuitionistic mathematics, especially in relation to recursive functions / {by} Stephen Cole Kleene {and} Richard Eugene Vesley.
(Studies in logic and the foundations of mathematics)

出版者	Amsterdam : North-Holland
出版年	1965
大きさ	viii, 206 p. 23 cm.
著者標目	Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, 1932-
件　名	Intuitionistic mathematics Recursive functions
一般注記	""Bibliography, by S. C. Kleene"": p. {187}-199.

 類似資料