Volume 53, Number 1, 8 July 1991
Serban A. Basarab
: Relative Elimination of Quantifiers for Henselian Valued Fields.
Volume 53, Number 2, 19 July 1991
M. Randall Holmes
: Systems of Combinatory Logic Related to Quine's `New Foundations'.
Robert C. Reed
: A Decidable Ehrenfeucht Theory with Exactly Two Hyperarithmetic Models.
: The Structure of Models of Decidable Monadic Theories of Graphs.
Volume 53, Number 3, 19 September 1991
Jean H. Gallier
: What's So Special About Kruskal's Theorem and the Ordinal Gamma0? A Survey of Some Results in Proof Theory.
: A More Direct Proof of a Result of Shelah.
: On-Dimensional Groups over an o-Minimal Structure.