| 1 | -- | 0 | Yuri Gurevich. Preface |
| 2 | -- | 57 | Glynn Winskel. A Compositional Proof System on a Category of Labelled Transition Systems |
| 58 | -- | 77 | Rance Cleaveland, Matthew Hennessy. Priorities in Process Algebras |
| 78 | -- | 128 | Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo. A Logic for Reasoning about Probabilities |
| 129 | -- | 195 | Jean H. Gallier, Paliath Narendran, David A. Plaisted, Wayne Snyder. Rigid E-Unification: NP-Completeness and Applications to Equational Matings |
| 196 | -- | 239 | Kim B. Bruce, Giuseppe Longo. A Modest Model of Records, Inheritance and Bounded Quantification |
| 240 | -- | 262 | Kevin J. Compton, Claude Laflamme. An Algebra and a Logic for NC¹ |
| 263 | -- | 300 | Bard Bloom. Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus |
| 301 | -- | 337 | Phokion G. Kolaitis, Moshe Y. Vardi. 0-1 Laws and Decision Problems for Fragments of Second-Order Logic |