کتاب های Stephen Cole Kleene
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Kleene.jpg/35px-Kleene.jpg)
![Introduction to Metamathematics](http://cdn.ketabkoo.com/covers/4/421569-n.jpg)
Introduction to Metamathematics
Stephen Cole Kleene, 1971![The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions](http://cdn.ketabkoo.com/covers/8/858459-n.jpg)
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Stephen Cole Kleene, 1965![Mathematical logic](http://cdn.ketabkoo.com/covers/8/858615-n.jpg)
Mathematical logic
Stephen Cole Kleene, 2002![Mathematical Logic](http://cdn.ketabkoo.com/covers/8/858616-n.jpg)
Mathematical Logic
Stephen Cole Kleene, 2002![The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions](http://cdn.ketabkoo.com/covers/8/861492-n.jpg)
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Stephen Cole Kleene, 1965![Introduction to Metamathematics](http://cdn.ketabkoo.com/covers/10/1075119-n.jpg)
Introduction to Metamathematics
Kleene, Stephen Cole, 1971![Turing's Analysis of Computability and Major Applications of it (Oxford](http://cdn.ketabkoo.com/covers/2/294151-n.jpg)
Turing's Analysis of Computability and Major Applications of it (Oxford
Stephen C Kleene, 1998![Two Papers on the Predicate Calculus](http://cdn.ketabkoo.com/covers/10/1068693-n.jpg)
Two Papers on the Predicate Calculus
Stephen C. Kleene, 1997![Formalized Recursive Functionals and Formalized Realizability](http://cdn.ketabkoo.com/covers/10/1068694-n.jpg)
Formalized Recursive Functionals and Formalized Realizability
Stephen C. Kleene, 1969![Formalized Recursive Functionals and Formalized Realizability](http://cdn.ketabkoo.com/covers/12/1266268-n.jpg)
Formalized Recursive Functionals and Formalized Realizability
Stephen C. Kleene, 1969![Two Papers on the Predicate Calculus](http://cdn.ketabkoo.com/covers/12/1269784-n.jpg)