The foundations of intuitionistic mathematics
Subtitle: especially in relation to recursive functions
By: (by) Stephen Cole Kleene, Richard Eugene Vesley.
Contributors: Vesley, R. E.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland
Published: 1965
Place of publication: Amsterdam
Language: eng