انتشارات Csli Publ.
Lectures on linear logic
Troelstra A.S., 1992
Lexical Matters
Sag I.A., 1992
Lexical Matters
Ivan A. Sag, 1992
Logic and Representation
Robert C. Moore, 1995
Logic and representation
Moore R.C., 1995
Logic, Language and Computation. Volume 1
Seligman J., 1996
Logic, Language, and Computation. Volume 1
Jerry Seligman, 1996
Logic, Language, and Computation. Volume 1
Jerry Seligman, 1996
Logic, Language, and Computation. Volume 1
Jerry Seligman, 1996
Logics of time and computation
Robert Goldblatt, 1992
Logics of Time and Computation
Robert Goldblatt, 1992
Non-Well-Founded Sets
Peter Aczel, 1988
Non-Well-Founded Sets
Peter Aczel, 1988
Normalization, cut-elimination and the theory of proofs
A. M. Ungar, 1992
Normalization, Cut-Elimination, and the Theory of Proofs
A. M. Ungar, 1992
Online Deliberation: Design, Research, and Practice
Todd Davies, 2009
Partiality, Truth and Persistence
Tore Langholm, 1988
Proceedings of the LFG 06 Conference
Miriam Butt, 2006
Referencialismo Crítico: la teoría reflexivo-referencial del significado
John Perry (tr. Kepa Korta, 2006
Representation and Invariance of Scientific Structures
Patrick Suppes, 2001
Representation and Invariance of Scientific Structures
Patrick Suppes, 2002
Representation and Invariance of Scientific Structures
Patrick Suppes, 2001
Defending AI Research: A Collection of Essays and Reviews
John McCarthy, 1996
