Volume 40, 1994
: Lebesgue Convergence Theorems and Reverse Mathematics.
: On Preservation of Stability for Finite Extensions of Abelian Groups.
John L. Bell
: Fregean Extensions of First-Order Theories.
Andrei A. Kuzichev
: Translations of Logical Formulas and the Equiconsistency Problem.
, Ventura Verdú
: A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.
: Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.
: The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets is Sigma5-Complete.
: A New Reducibility between Turing- and wtt-Reducibility.
J. W. Degen
: Some Aspects and Examples of Infinity Notions.
Iain A. Stewart
: Monotonicity and the Expressibility of NP Operators.
: Model Companions with Finitely Many Countable Models.
: Bonnding and Dominating Number of Families of Functions on omega.
: Navigation Without Perception of Coordinates and Distances.
: Completions of Convexly Ordered Valuation Rings.
: Cofinal Indiscernibles and some Applications to New Foundations.
: A Remark an Ascending Chain Conditions, the CouDtable Axiom of Choice and the Principle of Dependent Choices.
: A Note on the Theorems of Church-Turing and Trachtenbrot.
: Cyclic Elements in MV-Algebras and Post Algebras.
: Hilbert's 17th Problem for Real Closed Rings.
: Ternary Operations as Primitive Notions for Constructive Plane Geometry V.
: The Hauptsatz for Stratified Comprehension: A Semantic Proof.
: Recursively Enumerable Equivalence Relations Modulo Finite Differences.
: A Note on Boolos' Proof of the Incompleteness Theorem.