| |
Annals of Pure and Applied Logic, Vol. 53, No. 3. (19 September 1991), pp. 199-260.
|
| |
|
| |
Journal of Symbolic Logic, Vol. 70, No. 3. (2005), pp. 778-794.
|
| |
Logic Journal of the IGPL, Vol. 8, No. 5. (2000), pp. 629-643.
|
| |
Journal of Logic and Computation, Vol. 15, No. 4. (August 2005), pp. 433-446.
|
| |
Archive for Mathematical Logic, Vol. 44, No. 1. (January 2005), pp. 1-62.
|
| |
Archive for Mathematical Logic, Vol. 44, No. 3. (April 2005), pp. 263-362.
|
| |
Archive for Mathematical Logic, Vol. 44, No. 4. (May 2005), pp. 435-457.
|
| |
Archive for Mathematical Logic, Vol. 44, No. 4. (May 2005), pp. 397-412.
|
| |
The Bulletin of Symbolic Logic, Vol. 8, No. 2. (2002), pp. 246-265.
|
| |
Annals of Pure and Applied Logic, Vol. 75, No. 1-2. (12 September 1995), pp. 3-23.
|
| |
Theoretical Computer Science, Vol. 160, No. 1-2. (10 June 1996), pp. 241-270.
|
| |
The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 367-389.
|
| |
The Bulletin of Symbolic Logic, Vol. 9, No. 4. (2003), pp. 477-503.
|
| |
|
| |
Journal of Logic and Computation, Vol. 13, No. 6. (December 2003), pp. 835-861.
|
| |
The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 305-333.
|
| |
History and Philosophy of Logic, Vol. 25 (2004), pp. 79-94.
|
Search
