Volume 77, Number 1, 8 January 1996
: Pell Equations and Exponentiation in Fragments of Arithmetic.
: Classifying Totally Categorical Groups (and Others).
Volume 77, Number 2, 29 January 1996
Volume 77, Number 3, 19 February 1996
: Projecting Sequential Algorithms on Strongly Stable Functions.
, Roger Villemaire
: Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems.
Daniel E. Talayco
: Applications of Cohomology to Set Theory II: Todorcevic Trees.