| |
Notre Dame Journal of Formal Logic, Vol. 25 (1984), pp. 152-169.
|
| |
Studia Logica, Vol. 75 (2003), pp. 183-203.
|
| |
|
| |
Studia Logica, Vol. 24 (1969), pp. 7-23.
|
| |
Dialectica, Vol. 30 (1976), pp. 67-88.
|
| |
|
| |
Cognition, Vol. 38 (1991), pp. 179-211.
|
| |
Linguistics and Philosophy, Vol. 13 (1990), pp. 393-442.
|
| |
Journal of Symbolic Logic, Vol. 47 (1982), pp. 423-435.
|
| |
Journal of Computer and System Sciences, Vol. 62 (2001), pp. 290-322.
|
| |
In Ambiguities in Intensional Contexts (1980), pp. 1-45.
|
| |
In Proceedings of FG-MOL 2005 (2005)
|
| |
In Proceedings of the London Mathematical Society, Vol. 30 (1929), pp. 338-384.
|
| |
In Handbook for mathematical logic (1977), pp. 1133-1142.
|
| |
Journal of applied Non--Classical Logics, Vol. 8 (1998), pp. 107-121.
|
| |
In Quantifiers: Logics, Models and Computation (1995), pp. 181-214.
|
| |
In Nauka i j\kezyk (1994), pp. 201-242.
|
| |
In Seminaire du Laboratoire Logique, Algorithmique et Informatique Clermontois, Vol. II (1991), pp. 1-25.
|
| |
In Mathematical Logic and its Application (1987), pp. 315-322.
|
| |
Annals of Mathematical Logic, Vol. 11 (1977), pp. 217-261.
|
| |
In Lecture Notes in Logic 2 (1990), pp. 210-249.
|
| |
Brain and Cognition, Vol. 65 (2006), pp. 250-260.
|
| |
Neuropsychologia, Vol. 43 (2005), pp. 1729-1737.
|
| |
In Quantifiers: Logics, Models and Computation (1995), pp. 313-357.
|
| |
In Model theory of algebra and arithmetics, Vol. 834 (1980), pp. 186-210.
|
| |
In Lecture Notes in Computer Science, Vol. 1754 (1999), pp. 121-134.
|
| |
Theoria, Vol. 32 (1966), pp. 186-195.
|
| |
In Logic at work (1999), pp. 548-565.
|
| |
In Quantifiers: Logics, Models and Computation (1995), pp. 193-263.
|
| |
In Quantifiers: Logics, Models and Computation (1995), pp. 1-21.
|
| |
In Complexity of Computer Computations (1972), pp. 85-103.
|
| |
Studia Logica, Vol. 1 (1934), pp. 5-32.
|
| |
In Proceedings 14th Amsterdam Colloquium (2003), pp. 147-151.
|
| |
In Proceedings Fifteenth Amsterdam Colloquium (2005), pp. 125-130.
|
| |
Journal of Logic, Language, and Information, Vol. 11 (2002), pp. 367-387.
|
| |
|
| |
|
| |
Dialectica, Vol. 30 (1976), pp. 89-99.
|
| |
Dialectica, Vol. 27 (1973), pp. 329-358.
|
| |
In Infinistic Methods (1961), pp. 167-183.
|
| |
Linguistic Inquiry, Vol. 22 (1991), pp. 63-101.
|
| |
In ASL Lecture Notes in Logic, Logic Colloqium'01 (2004), pp. 167-183.
|
| |
|
| |
|
| |
Theoretical Linguistics, Vol. 3 (1976), pp. 285-289.
|
| |
Journal of Semantics, Vol. 22 (2005), pp. 97-117.
|
| |
Theoretical Linguistics, Vol. 1 (1974), pp. 140-157.
|
| |
Journal of the Association for Computing Machinery, Vol. 51 (2004), pp. 312-362.
|
| |
Linguistic Inquiry, Vol. 6 (1975), pp. 555-567.
|
| |
Zeitschrift für Philosophie und philosophische Kritik, Vol. 100 (1892), pp. 25-50.
|
