انتشارات Csli
Hyperproof
Jon Barwise, 1994
Hyperproof
Jon Barwise, 1994
Implementing Typed Feature Structure Grammars
Ann Copestake, 2001
Language, Proof and Logic
Jon Barwise, 2002
Language, Proof and Logic
David Barker-Plummer, 2011
Syntactic theory: a formal introduction
Ivan A. Sag, 1999
Syntactic theory: a formal introduction
Sag I.A., 2003
Syntax: a formal introduction
Sag I.A., 2003
Tarski's World: Revised and Expanded
David Barker-Plummer, 2007
The grammar of negation: A constraint-based approach [PhD Thesis]
Jong-Bok Kim, 2000
The Ontology of Language: Properties, Individuals and Discourse
Chris Fox, 2000
The situation in logic
Jon Barwise, 1989
The situation in logic
Jon Barwise, 1989
The Structure of Nonconceptual Content (European Review of Philosophy; 6)
Christine van Geen, 2006
Vicious Circles
Jon Barwise, 2004
Vicious circles: On the mathematics of non-wellfounded phenomena
Barwise J., 1996
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
Jon Barwise, 1996
Mathematical Reasoning with Diagrams
Mateja Jamnik, 2001
CD-ROM of Language, Proof and Logic
Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu, 2002
Situations and Attitudes
Jon Barwise, John Perry, 1998
Attitudes De Se: Linguistics, Epistemology, Metaphysics
Neil Feit; Alessandro Capone (eds.), 2013
Reference and Reflexivity
John Perry, 2012
