- Jeremy Avigad:
Predicative Functionals and an Interpretation of ID
_{<omega}. 1-34 BibTeX - Bruno Courcelle, Igor Walukiewicz: Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. 35-62 BibTeX
- Greg Hjorth, Alexander S. Kechris, Alain Louveau: Borel Equivalence Relations Induced by Actions of the Symmetric Group. 63-112 BibTeX

- Anton Setzer: Well-Ordering, Proofs for Martin-Löf Type Theory. 113-159 BibTeX
- Daniel W. Cunningham: Is There a Set of Reals Not in K(R)? 161-210 BibTeX
- Marco Forti, Furio Honsell: Addendum and Corrigendum: Choice Principles in Hyperuniverses. 211-214 BibTeX
- Johann A. Makowsky, Y. B. Pnueli: Erratum to ``Arity and Alternation in Second-Order Logic. 215 BibTeX

- Tim Fernando: In Conjunction with Qualitative Probability. 217-234 BibTeX
- I. P. van den Berg: On the Relation between Elementary Partial Difference Equations and Partial Differential Equations. 235-265 BibTeX
- Menachem Kojman: Exact Upper Bounds and Their Uses in Set Theory. 267-282 BibTeX
- Boban Velickovic, W. Hugh Woodin: Complexity of Reals in Inner Models of Set Theory. 283-295 BibTeX