J. W. Degen: Proof Theory for Finitely Valid Sentences; pp. 47-59; (Abstract)

Robert Cowen: Property S; pp. 61-74; (Abstract)

Joanna Grygiel: Boolean constructions of independent sets of generators for filters; pp. 75-85; (Abstract)

Piotr Wojtylak and Andrzej Wronski: On the problem of R. E. Tax; pp. 87-101; (Abstract)

George Georgescu: Some model theory for probability structures; pp. 103-113; (Abstract)

Josep Maria Font, Ramon Jansana, and Don Pigozzi: Fully adequate Gentzen Systems and the Deduction Theorem; pp. 115-165; (Abstract)