The foundations of intuitionistic mathematics : especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley.

Author/creator Kleene, Stephen Cole
Other author Vesley, Richard Eugene, 1932-
Format Book
Publication InfoAmsterdam : North-Holland Pub. Co., 1965.
Descriptionviii, 206 pages ; 23 cm.
Subjects

SeriesStudies in logic and the foundations of mathematics
Studies in logic and the foundations of mathematics. ^A16526
Bibliography note"Bibliography, by S. C. Kleene": p. [187]-199.
LCCN 75020959
Stock number8.00