Stephen Cole Kleene

1909

• Mathematical Logic
• Introduction to metamathematics
• Mathematical logic
• Introduction to metamathematics
• The foundations of intuitionistic mathematics
• The foundations of intuitionistic mathematics
• A theory of positive integers in formal logic
• Formalized recursive functionals and formalized realizability
• Introduction to metamathematics
• Mathematical logic
• Sets, logic and mathematical foundations
• The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley