Journal of Applied Logic, Vol. 1, No. 5. (October 2003), pp. 309-392.
Journal of Philosophy, Vol. 85 (1988), pp. 57-74.
Notre Dame Journal of Formal Logic, Vol. 39 (1998), pp. 640-660.
Philosophia Mathematica (III), Vol. 13, No. 1. (2005), pp. 61-77.
Notre Dame Journal of Formal Logic, Vol. 38, No. 4. (1997), pp. 583-596.
British Journal for the History of Philosophy, Vol. 12, No. 4., 705.
Analysis, Vol. 64, No. 284., 362.
Philosophy and Phenomenological Research, Vol. 68, No. 3., 635.
Lecture Notes in Computer Science, Vol. 1489 (1998)
(1997)
(1996)
The Bulletin of Symbolic Logic, Vol. 2, No. 3. (1996), pp. 284-321.
BSL: The Bulletin of Symbolic Logic, Vol. 4 (1998)
Bulletin of Symbolic Logic, Vol. 2, No. 2. (1996), pp. 127-158.
The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71.
The Bulletin of Symbolic Logic, Vol. 5, No. 1. (199), pp. 1-44.