Volume 42, Number 1, March 1977
: Transfinite Extensions of Friedberg's Completeness Criterion.
Julia F. Knight
: A Complete L omega 1omega -Sentence Characterizing N1.
Stanley H. Stahl
: Primitive Recursive Ordinal Functions with Added Constants.
: A Note on the Number of Zeros of Polynomials and Exponential Polynomials.
: Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975.
Volume 42, Number 2, June 1977
Philip W. Grant
: Strict-pi11 Predicates on Countable and Cofinality omega Transitive Sets.
: On Deciding the Provability of Certain Fixed Point Statements.
A. S. Troelstra
: Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional.
Dirk van Dalen
: The Use of Kripke's Schema as a Reduction Principle.
Alan H. Mekler
: Theories with Models of Prescribed Cardinalities.
Dov M. Gabbay
: Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III.
: A Lattice of Interpretability Types of Theories.
Dov M. Gabbay
: A New Version of Beth Semantics for Intuitionistic Logic.
Volume 42, Number 3, September 1977
: Imbedding of the Quantum Logic in the Modal System of Brower.
: Generalized Quantifiers and Elementary Extensions of Countable Models.
: On Finite Lattices of Degrees of Constructibility.
: Amalgamation of Nonstandard Models of Arithmetic.
: Ramsey's Theorem in the Hierarchy of Choice Principles.
S. K. Thomason
: Modal Operators and Functional Completeness, II.
Volume 42, Number 4, December 1977
: Experimental Logics and pi03 Theories.
James M. Henle
: Some Consequences of an Infinite-Exponent Partition Relation.
Robert I. Soare
: Computational Complexity, Speedable and Levelable Sets.