Volume 4,
Number 1,
March 1939
- Laszlo Kalmar:
On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate.
1-9
- E. V. Huntington:
Note on a Recent Set of Postulates for the Calculus of Propositions.
10-14
- J. Barkley Rosser:
On the Consistency of Quine's New Foundations for Mathematical Logic.
15-24
- Charles A. Baylis:
Fourth Meeting of the Association for Symbolic Logic.
39-40
Volume 4,
Number 2,
June 1939
- C. J. Ducasse:
Symbols, Signs, and Signals.
41-52
- J. Barkley Rosser:
An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem.
53-60
- L. Chwistek:
A Formal Proof of Godel's Theorem.
61-68
- Abraham Robinson:
On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit).
69-72
- P. G. J. Vredenduin:
A System of Strict Implication.
73-76
- C. H. Langford:
A Theorem on Deducibility for Second-Order Functions.
77-79
- J. Barkley Rosser:
Definition by Induction in Quine's New Foundations for Mathematical Logic.
80-81
Volume 4,
Number 3,
September 1939
Volume 4,
Number 4,
December 1939
Copyright © Tue Dec 1 16:34:47 2009
by Michael Ley (ley@uni-trier.de)
