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

• Main Author: Kleene, Stephen Cole, 1909-1994 (συγγραφέας.)
• Other Authors: Vesley, Richard Eugene, 1932- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : North-Holland, 1965.
• Series: Studies in logic and the foundations of mathematics
• Subjects: Λογική, Συμβολική και μαθηματική