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

Bibliographic Details
Main Author:	Kleene, Stephen Cole, 1909-1994
Other Authors:	Vesley, Richard Eugene
Format:	Book
Language:	English
Published:	Amsterdam : North-Holland Pub. Co., 1965.
Series:	Studies in logic and the foundations of mathematics.
Subjects:	Mathematics. Recursive functions.

Remote Storage