کتاب های S. C. Kleene
![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![Introduction to Metamathematics](http://cdn.ketabkoo.com/covers/4/421569-n.jpg)
Introduction to Metamathematics
Stephen Cole Kleene, 1971![Введение в метаматематику](http://cdn.ketabkoo.com/covers/5/526729-n.jpg)
Введение в метаматематику
Клини С. (S.C.Kleene), 1957![Введение в метаматематику](http://cdn.ketabkoo.com/covers/5/526730-n.jpg)
Введение в метаматематику
Клини С.К. (Kleene S.C.), 1957![Введение в метаматематику](http://cdn.ketabkoo.com/covers/5/526732-n.jpg)
Введение в метаматематику
Клини С.К.(Kleene S.C.), 1957![Introduction to Metamathematics](http://cdn.ketabkoo.com/covers/8/858307-n.jpg)
Introduction to Metamathematics
S.C. Kleene, 1980![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![Математическая логика](http://cdn.ketabkoo.com/covers/8/861497-n.jpg)
Математическая логика
Клини С.К.(Kleene S.C.), 1973![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![Introduction to Metamathematics](http://cdn.ketabkoo.com/covers/10/1075119-n.jpg)
Introduction to Metamathematics
Kleene, Stephen Cole, 1971![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)