Volume 42,
Number 1,
March 1977
- John MacIntyre:
Transfinite Extensions of Friedberg's Completeness Criterion.
1-10 BibTeX
- Jonathan P. Seldin:
A Sequent Calculus for Type Assignment.
11-28 BibTeX
- Ernest Snapper:
Omitting Models.
29-32 BibTeX
- Mark E. Nadel, Jonathan Stavi:
The Pure Part of HYP(M).
33-46 BibTeX
- Barry E. Jacobs:
On Generalized Computational Complexity.
47-58 BibTeX
- Julia F. Knight:
A Complete L omega 1omega -Sentence Characterizing N1.
59-62 BibTeX
- Nobuyoshi Motohashi:
A Remark on Scott's Interpolation Theorem for L omega 1 omega.
63 BibTeX
- Petr Stepánek, Bohuslav Balcar:
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets.
64-76 BibTeX
- Stanley H. Stahl:
Primitive Recursive Ordinal Functions with Added Constants.
77-82 BibTeX
- Nobuyoshi Motohashi:
Partially Ordered Interpretations.
83-93 BibTeX
- Julia F. Knight:
Skolem Functions and Elementary Embeddings.
94-98 BibTeX
- C. Smorynski:
A Note on the Number of Zeros of Polynomials and Exponential Polynomials.
99-106 BibTeX
- M. Guillaume:
Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975.
113-139 BibTeX
- Haim Gaifman, Azriel Levy, Gert H. Muller:
Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975.
140-142 BibTeX
- Paul Benacerraf, Simon Kochen, Gerald E. Sacks:
Meeting of the Association for Symbolic Logic: New York, 1975.
143-155 BibTeX
- Solomon Feferman, Jon Barwise, Leo Harrington:
Meeting of the Association for Symbolic Logic: Reno, 1976.
156-160 BibTeX
Volume 42,
Number 2,
June 1977
Volume 42,
Number 3,
September 1977
Volume 42,
Number 4,
December 1977
Copyright © Sun May 17 00:12:03 2009
by Michael Ley (ley@uni-trier.de)
