نتایج جستجو
![Undecidable Theories](http://cdn.ketabkoo.com/covers/17/1718233-n.jpg)
Undecidable Theories
Alfred Tarski (Eds.), 1953![Foundations of Set Theory](http://cdn.ketabkoo.com/covers/17/1718234-n.jpg)
Foundations of Set Theory
Abraham A. Fraenkel and Yehoshua Bar-Hillel (Eds.), 1958![Languages with Expressions of Infinite Length](http://cdn.ketabkoo.com/covers/17/1718235-n.jpg)
Languages with Expressions of Infinite Length
Carol R. Karp (Eds.), 1964![Intuitionism An Introduction](http://cdn.ketabkoo.com/covers/17/1718236-n.jpg)
Intuitionism An Introduction
A. Heyting (Eds.), 1966![The Collected Papers of Gerhard Gentzen](http://cdn.ketabkoo.com/covers/17/1718237-n.jpg)
The Collected Papers of Gerhard Gentzen
M.E. Szabo (Eds.), 1969![Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968](http://cdn.ketabkoo.com/covers/17/1718238-n.jpg)
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
A. Kino, J. Myhill and R.E. Vesley (Eds.), 1970![Proceedings of the Second Scandinavian Logic Symposium](http://cdn.ketabkoo.com/covers/17/1718239-n.jpg)
Proceedings of the Second Scandinavian Logic Symposium
J.E. Fenstad (Eds.), 1971![Truth, Syntax and Modality](http://cdn.ketabkoo.com/covers/17/1718240-n.jpg)
Truth, Syntax and Modality
Hugues Leblanc (Eds.), 1973![Model Theory](http://cdn.ketabkoo.com/covers/17/1718241-n.jpg)
Model Theory
C.C. Chang and H.J. Keisler (Eds.), 1990![Proceedings of the Third Scandinavian Logic Symposium](http://cdn.ketabkoo.com/covers/17/1718243-n.jpg)
Proceedings of the Third Scandinavian Logic Symposium
Stig Kanger (Eds.), 1975![Logic Colloquium '77](http://cdn.ketabkoo.com/covers/17/1718245-n.jpg)
Logic Colloquium '77
Angus Macintyre, Leszek Pacholski and Jeff Paris (Eds.), 1978![Logic Colloquium '78, Proceedings of the colloquium held in Mons](http://cdn.ketabkoo.com/covers/17/1718246-n.jpg)
Logic Colloquium '78, Proceedings of the colloquium held in Mons
Maurice Boffa, Dirkvan Dalen and Kenneth Mcaloon (Eds.), 1979![Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic](http://cdn.ketabkoo.com/covers/17/1718247-n.jpg)
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
A.I. Arruda, R. Chuaqui and N.C.A. Da Costa (Eds.), 1980![Ataxic Disorders](http://cdn.ketabkoo.com/covers/17/1718258-n.jpg)
Ataxic Disorders
Sankara H. Subramony and Alexandra Dürr (Eds.), 2012![Neuro-Oncology Part II](http://cdn.ketabkoo.com/covers/17/1718259-n.jpg)