Volume 96, Numbers 1-3, 1 March 1999
Johan van Benthem
: Modality, Bisimulation and Interpolation in Infinitary Logic.
Samuel R. Buss
: Bounded Arithmetic, Proof Complexity and Two Papers of Parikh.
: Self-Reference and the Acyclicity of Rational Choice.
: Ten Questions and One Problem on Fuzzy Logic.
: Ramified Recurrence and Computational Complexity III: Higher Type Recurrence and Elementary Complexity.
: A Note on Applicability of the Incompleteness Theorem to Human Mind.