Author Search Results

1

The foundations of intuitionistic mathematics: especially in relation to recursive functions /

The foundations of intuitionistic mathematics: especially in relation to recursive functions /

by Kleene, Stephen Cole 1909-, Kleene, Stephen Cole 1909-, Vesley, Richard Eugene 1932-
Published 1965

Other Authors: “...Vesley, Richard Eugene 1932-...”

Book

2

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /

by Kino, A., Kino, A.
Published 1970

Other Authors: “...Vesley, Richard Eugene 1932-...”

Book