Volume 42, Number 1, March 1977
John MacIntyre:
Transfinite Extensions of Friedberg's Completeness Criterion.
1-10
Julia F. Knight:
A Complete L omega 1omega -Sentence Characterizing N1.
59-62
Stanley H. Stahl:
Primitive Recursive Ordinal Functions with Added Constants.
77-82
C. Smorynski:
A Note on the Number of Zeros of Polynomials and Exponential Polynomials.
99-106
M. Guillaume:
Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975.
113-139
Volume 42, Number 2, June 1977
Philip W. Grant:
Strict-pi11 Predicates on Countable and Cofinality omega Transitive Sets.
161-173
George Boolos:
On Deciding the Provability of Certain Fixed Point Statements.
191-193
A. S. Troelstra:
Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional.
194-202
Dirk van Dalen:
The Use of Kripke's Schema as a Reduction Principle.
238-240
Alan H. Mekler:
Theories with Models of Prescribed Cardinalities.
251-253
Dov M. Gabbay:
Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III.
269-271
Jan Mycielski:
A Lattice of Interpretability Types of Theories.
297-305
Dov M. Gabbay:
A New Version of Beth Semantics for Intuitionistic Logic.
306-308
Volume 42, Number 3, September 1977
Herman Dishkant:
Imbedding of the Quantum Logic in the Modal System of Brower.
321-328
Malgorzata Dubiel:
Generalized Quantifiers and Elementary Extensions of Countable Models.
341-348
Zofia Adamowicz:
On Finite Lattices of Degrees of Constructibility.
349-371
Andreas Blass:
Amalgamation of Nonstandard Models of Arithmetic.
372-386
Andreas Blass:
Ramsey's Theorem in the Hierarchy of Choice Principles.
387-390
S. K. Thomason:
Modal Operators and Functional Completeness, II.
391-399
Volume 42, Number 4, December 1977
Petr Hájek:
Experimental Logics and pi03 Theories.
515-522
James M. Henle:
Some Consequences of an Infinite-Exponent Partition Relation.
523-526
Robert I. Soare:
Computational Complexity, Speedable and Levelable Sets.
545-563
data released under the ODC-BY 1.0 license
