著者典拠情報

著者標目形：
Vesley, Richard Eugene, 1932-
属性：
Personal
日付：
1932-
から見よ参照形：
Vesley, R. E.
Vesley, R. E. (Richard Eugene), 1932-
注記：
LC data base, 6-8-88 (hdg.: Vesley, Richard Eugene, 1932- ; Vesley, R. E.; usage: Richard Eugene Vesley; variant: R.E. Vesley)
His The foundations of intuitionistic mathematics ... , 1965
著者典拠ID：
DA06554650


1.

図書
図書
1. Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968
edited by A. Kino, J. Myhill and R.E. Vesley
出版情報: Amsterdam : North-Holland Pub. Co., 1970
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館
2.

図書
図書
2. The foundations of intuitionistic mathematics : especially in relation to recursive functions
[by] Stephen Cole Kleene [and] Richard Eugene Vesley
出版情報: Amsterdam : North-Holland Pub. Co., 1965
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館