- Arnold Beckmann, Wolfram Pohlers: Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. 7-19 BibTeX
- Douglas A. Cenzer, Jeffrey B. Remmel: Feasible Graphs with Standard Universe. 21-35 BibTeX
- Peter Cholak: The Dense Simple Sets are Orbit Complete with Respect to the Simple Sets. 37-44 BibTeX
- Rodney G. Downey, Richard A. Shore: Splitting Theorems and the Jump Operator. 45-52 BibTeX
- Peter A. Fejer: Lattice Representations for Computability Theory. 53-74 BibTeX
- Sergei S. Goncharov: Decidable Boolean Algebras of Low Level. 75-95 BibTeX
- Leo Harrington, Robert I. Soare: Definable Properties of the Computably Enumerable Sets. 97-125 BibTeX
- Julia F. Knight: Coding a Family of Sets. 127-142 BibTeX
- Manuel Lerman: A Necessary and Sufficient Condition for Embedding Ranked Finite Partial Lattices into the Computably Enumerable Degrees. 143-180 BibTeX
- Michael Rathjen, Edward R. Griffor, Erik Palmgren: Inaccessibility in Constructive Set Theory and Type Theory. 181-200 BibTeX
- Helmut Schwichtenberg: Finite Notations for Infinite Terms. 201-222 BibTeX
- Alexandra Shlapentokh: Weak Presentations of Non-Finitely Generated Fields. 223-252 BibTeX
- Theodore A. Slaman, W. Hugh Woodin: Extending Partial Orders to Dense Linear Orders. 253-261 BibTeX
- Andrea Sorbi: Sets of Generators and Automorphism Bases for the Enumeration Degrees. 263-272 BibTeX
- Frank Stephan: Learning via Queries and Oracles. 273-296 BibTeX