انتشارات Csli
![Logic and Representation](http://cdn.ketabkoo.com/covers/7/792471-n.jpg)
Logic and Representation
Robert C. Moore, 1995![Logic and representation](http://cdn.ketabkoo.com/covers/7/792472-n.jpg)
Logic and representation
Moore R.C., 1995![Logic, Language and Computation. Volume 1](http://cdn.ketabkoo.com/covers/7/792473-n.jpg)
Logic, Language and Computation. Volume 1
Seligman J., 1996![Logic, Language, and Computation. Volume 1](http://cdn.ketabkoo.com/covers/7/792474-n.jpg)
Logic, Language, and Computation. Volume 1
Jerry Seligman, 1996![Logic, Language, and Computation. Volume 1](http://cdn.ketabkoo.com/covers/7/792475-n.jpg)
Logic, Language, and Computation. Volume 1
Jerry Seligman, 1996![Logic, Language, and Computation. Volume 1](http://cdn.ketabkoo.com/covers/7/792476-n.jpg)
Logic, Language, and Computation. Volume 1
Jerry Seligman, 1996![Logics of time and computation](http://cdn.ketabkoo.com/covers/7/792477-n.jpg)
Logics of time and computation
Robert Goldblatt, 1992![Logics of Time and Computation](http://cdn.ketabkoo.com/covers/7/792478-n.jpg)
Logics of Time and Computation
Robert Goldblatt, 1992![Non-Well-Founded Sets](http://cdn.ketabkoo.com/covers/7/794265-n.jpg)
Non-Well-Founded Sets
Peter Aczel, 1988![Non-Well-Founded Sets](http://cdn.ketabkoo.com/covers/7/794267-n.jpg)
Non-Well-Founded Sets
Peter Aczel, 1988![Normalization, cut-elimination and the theory of proofs](http://cdn.ketabkoo.com/covers/7/794269-n.jpg)
Normalization, cut-elimination and the theory of proofs
A. M. Ungar, 1992![Normalization, Cut-Elimination, and the Theory of Proofs](http://cdn.ketabkoo.com/covers/7/794271-n.jpg)
Normalization, Cut-Elimination, and the Theory of Proofs
A. M. Ungar, 1992![Online Deliberation: Design, Research, and Practice](http://cdn.ketabkoo.com/covers/7/794273-n.jpg)
Online Deliberation: Design, Research, and Practice
Todd Davies, 2009![Partiality, Truth and Persistence](http://cdn.ketabkoo.com/covers/7/794275-n.jpg)
Partiality, Truth and Persistence
Tore Langholm, 1988![Proceedings of the LFG 06 Conference](http://cdn.ketabkoo.com/covers/7/794278-n.jpg)
Proceedings of the LFG 06 Conference
Miriam Butt, 2006![Referencialismo Crítico: la teoría reflexivo-referencial del significado](http://cdn.ketabkoo.com/covers/7/794282-n.jpg)
Referencialismo Crítico: la teoría reflexivo-referencial del significado
John Perry (tr. Kepa Korta, 2006![Representation and Invariance of Scientific Structures](http://cdn.ketabkoo.com/covers/7/794285-n.jpg)
Representation and Invariance of Scientific Structures
Patrick Suppes, 2001![Representation and Invariance of Scientific Structures](http://cdn.ketabkoo.com/covers/7/794287-n.jpg)
Representation and Invariance of Scientific Structures
Patrick Suppes, 2002![Representation and Invariance of Scientific Structures](http://cdn.ketabkoo.com/covers/7/794289-n.jpg)
Representation and Invariance of Scientific Structures
Patrick Suppes, 2001![Defending AI Research: A Collection of Essays and Reviews](http://cdn.ketabkoo.com/covers/7/798448-n.jpg)
Defending AI Research: A Collection of Essays and Reviews
John McCarthy, 1996![English syntax : an introduction](http://cdn.ketabkoo.com/covers/7/798449-n.jpg)
English syntax : an introduction
Jong-Bok Kim, 2007![Feature Logics, Infinitary Descriptions and Grammar](http://cdn.ketabkoo.com/covers/7/798450-n.jpg)
Feature Logics, Infinitary Descriptions and Grammar
Bill Keller, 1993![Feature Logics, Infinitary Descriptions, and Grammar](http://cdn.ketabkoo.com/covers/7/798451-n.jpg)