Pages that link to "Stephen Kleene"

The following pages link to Stephen Kleene:

Displaying 12 items.

• John Horton Conway (← links | edit)
• Kurt Gödel (← links | edit)
• Lambda calculus (← links | edit)
• Intuitionism (← links | edit)
• Partial function (← links | edit)
• Theory of computation (← links | edit)
• Turing machine (← links | edit)
• Actual infinity (← links | edit)
• Asterisk (← links | edit)
• Computability theory (← links | edit)
• Foundations of mathematics (← links | edit)
• Metamathematics (← links | edit)