Volume 58, Number 1, 3 July 1992
Derrick Albert DuBose
: Determinacy and Extended Sharp Functions on the Reals, Part II: Obtaining Sharps from Determinacy.
Volume 58, Number 2, 28 September 1992
: Existential Instantiation and Normalization in Sequent Natural Deduction.
Volume 58, Number 3, 19 November 1992
Christopher J. Ash
: Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences.
: On the Computational Complexity of Integral Equations.
: 2-Sequent Calculus: A Proof Theory of Modalities.
: Symmetric Submodels of a Cohen Generic Extension.