The foundations of intuitionistic mathematics
Subtitle: especially in relation to recursive functions
By: [by] Stephen Cole Kleene [and] Richard Eugene Vesley.
Contributors: Vesley, Richard Eugene, 1932-
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1965
Place of publication: Amsterdam
Language: eng
Number of pages: 206
Subjects: Intuitionistic mathematics; Recursive functions
Notes: "Bibliography, by S. C. Kleene": p. [187]-199.