کتاب های Stephen C Kleene
Turing's Analysis of Computability and Major Applications of it (Oxford
Stephen C Kleene, 1998
Introduction to Metamathematics
Stephen Cole Kleene, 1971
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Stephen Cole Kleene, 1965
Mathematical logic
Stephen Cole Kleene, 2002
Mathematical Logic
Stephen Cole Kleene, 2002
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Stephen Cole Kleene, 1965
Two Papers on the Predicate Calculus
Stephen C. Kleene, 1997
Formalized Recursive Functionals and Formalized Realizability
Stephen C. Kleene, 1969
Introduction to Metamathematics
Kleene, Stephen Cole, 1971
Formalized Recursive Functionals and Formalized Realizability
Stephen C. Kleene, 1969
