Volume 42,
Number 1,
March 1977
- John MacIntyre:
Transfinite Extensions of Friedberg's Completeness Criterion.
1-10
- Jonathan P. Seldin:
A Sequent Calculus for Type Assignment.
11-28
- Ernest Snapper:
Omitting Models.
29-32
- Mark E. Nadel, Jonathan Stavi:
The Pure Part of HYP(M).
33-46
- Barry E. Jacobs:
On Generalized Computational Complexity.
47-58
- Julia F. Knight:
A Complete L omega 1omega -Sentence Characterizing N1.
59-62
- Nobuyoshi Motohashi:
A Remark on Scott's Interpolation Theorem for L omega 1 omega.
63
- Petr Stepánek, Bohuslav Balcar:
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets.
64-76
- Stanley H. Stahl:
Primitive Recursive Ordinal Functions with Added Constants.
77-82
- Nobuyoshi Motohashi:
Partially Ordered Interpretations.
83-93
- Julia F. Knight:
Skolem Functions and Elementary Embeddings.
94-98
- 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
- Haim Gaifman, Azriel Levy, Gert H. Muller:
Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975.
140-142
- Paul Benacerraf, Simon Kochen, Gerald E. Sacks:
Meeting of the Association for Symbolic Logic: New York, 1975.
143-155
- Solomon Feferman, Jon Barwise, Leo Harrington:
Meeting of the Association for Symbolic Logic: Reno, 1976.
156-160
Volume 42,
Number 2,
June 1977
Volume 42,
Number 3,
September 1977
Volume 42,
Number 4,
December 1977
- Iraj Kalantari, Allen Retzlaff:
Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces.
481-491
- John S. Schlipf:
Ordinal Spectra of First-Order Theories.
492-505
- Harvey Friedman:
On the Derivability of Instantiation Properties.
506-514
- Petr Hájek:
Experimental Logics and pi03 Theories.
515-522
- James M. Henle:
Some Consequences of an Infinite-Exponent Partition Relation.
523-526
- Martin W. Bunder:
Consistency Notions in Illative Combinatory Logic.
527-529
- C. Smorynski:
On Axiomatizing Fragments.
530-544
- Robert I. Soare:
Computational Complexity, Speedable and Levelable Sets.
545-563
- Harrie C. M. de Swart:
An Intuitionistically Plausible Interpretation of Intuitionistic Logic.
564-578
Last update Tue Feb 14 04:21:04 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
