- Klaus Ambos-Spies, Robert I. Soare: The Recursively Enumerable Degrees have Infinitely Many One-Types. 1-23 BibTeX
- Chi Tat Chong:
Hyperhypersimple Sets and Delta
_{2}Systems. 25-38 BibTeX - John N. Crossley, Philip J. Scott: Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. 39-52 BibTeX
- Nigel J. Cutland: Transfer Theorems for pi-Monads. 53-62 BibTeX
- Reijiro Kurata, Mamoru Shimoda:
Some Combinatorial Principles Equivalent to Restrictions of Transfinite Induction up to Gamma
_{0}. 63-69 BibTeX - Anil Nerode, Jeffrey B. Remmel: Complexity-Theoretic Algebra II: Boolean Algebras. 71-99 BibTeX
- Robert Solovay: Injecting Inconsistencies into Models of PA. 101-132 BibTeX
- Wang Shiqiang: Inductive Rings and Fields. 133-137 BibTeX
- Mariko Yasugi: The Machinery of Consistency Proofs. 139-152 BibTeX

- Rodney G. Downey: Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part II: Nonbounding. 153-172 BibTeX
- Robert Goldblatt: Varieties of Complex Algebras. 173-242 BibTeX
- Wendy MacCaull: Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares. 243-257 BibTeX
- Piotr Wojtylak: Independent Axiomatizability of Sets of Sentences. 259-299 BibTeX