Volume 34, Number 1, March 1969
J. B. Florence
: Partially Ordered Sets Representable by Recursively Enumerable Classes.
A. B. Slomson
: An Undecidable Two Sorted Predicate Calculus.
: Identity, Equivalence and Isomorphism of Problems.
: A Normal Modal Calculus Between T and S4 Without the Finite Model Property.
: Index Sets of Finite Classes of Recursively Enumerable Sets.
: Some Nondistributive Lattices as Initial Segments of the Degrees of Unsolvability.
Volume 34, Number 2, June 1969
Gabor T. Herman
: The Unsolvability of the Uniform Halting Problem for Two State Turing Machines.
Stephen D. Comer
: Finite Inseparability of Some Theories of Cylindrification Algebras.
N. Z. Shapiro
: Real Numbers and Functions in the Kleene Hierarchy and Limits of Recursive, Rational Functions.
R. A. Bull
: Note on a Paper in Tense Logic.
: Infinitary Logic and Admissible Sets.
R. A. Bull
: On Modal Logic with Propositional Quantifiers.
P. D. Finch
: On the Structure of Quantum Logic.
Volume 34, Number 3, September 1969
J. Donald Monk
: Nonfinitizability of Classes of Representable Cylindric Algebras.
James S. Johnson
: Nonfinitizability of Classes of Representable Polyadic Algebras.
J. C. E. Dekker
: Countable Vector Spaces with Recursive Operations. Part I.
: Logic with Truth Values in a Linearly Ordered Heyting Algebra.
: Applications of Strict Pi11 Predicates to Infinitary Logic.
: Reduced Products and Nonstandard Logics.
: On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers.
: Natural Models of Ackermann's Set Theory.
Volume 34, Number 4, December 1969
: Compactification of Groups and Rings and Nonstandard Analysis.
James P. Jones
: Effectively Retractable Theories and Degrees of Undecidability.