Volume 18,
Number 1,
March 1953
- M. H. Lob:
Concatenation as Basis for a Complete System of Arithmetic.
1-6
- John R. Myhill:
Criteria of Constructibility for Real Numbers.
7-10
- R. M. Martin:
On Truth and Multiple Denotation.
11-18
- Leon Henkin:
Some Notes on Nominalism.
19-29
- William Craig:
On Axiomatizability Within a System.
30-32
- Martin Davis:
Arithmetical Problems and Recursively Enumerable Predicates.
33-41
- G. Hasenjaeger:
Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe.
42-48
- Hao Wang:
Certain Predicates Defined by Induction Schemata.
49-59
- John R. Myhill:
On the Interpretation of the Sign 'subset of'.
60-62
- Alan Rose:
Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul.
63-65
Volume 18,
Number 2,
June 1953
- Robert L. Stanley:
An Extended Procedure in Quantificational Logic.
97-104
- A. N. Prior:
On Propositions Neither Necessary Nor Impossible.
105-108
- J. C. C. McKinsey:
Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden.
109-113
- Shen Yuting:
Paradox of the Class of All Grounded Classes.
114
- John R. Myhill:
Arithmetic with Creative Definitions by Induction.
115-118
- W. V. Quine:
On omega;-Inconsistency and a So-Called Axiom of Infinity.
119-124
- J. Richard Büchi:
Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types.
125-135
- Robert McNaughton:
Some Formal Relative Consistency Proofs.
136-144
- John C. Shepherdson:
Inner Models for Set Theory - Part III.
145-167
- Hao Wang:
Problems.
186
- Atwell R. Turquette:
Fifteenth Meeting of the Association for Symbolic Logic.
187-192
Volume 18,
Number 3,
September 1953
Volume 18,
Number 4,
December 1953
Copyright © Tue Dec 1 16:34:47 2009
by Michael Ley (ley@uni-trier.de)