Volume 8, Number 1, March 2002
Volume 8, Number 2, June 2002
: Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen.
Volume 8, Number 3, September 2002
: Some aspects of model theory and finite structures.
: Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory.
Volume 8, Issue 4, December, 2002
R. Gregory Taylor
: Zermelo's Cantorian theory of systems of infinitely long propositions.