The Journal of Symbolic Logic, Volume 4

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 BibTeX
E. V. Huntington: Note on a Recent Set of Postulates for the Calculus of Propositions. 10-14 BibTeX
J. Barkley Rosser: On the Consistency of Quine's New Foundations for Mathematical Logic. 15-24 BibTeX
Charles A. Baylis: Fourth Meeting of the Association for Symbolic Logic. 39-40 BibTeX

C. J. Ducasse: Symbols, Signs, and Signals. 41-52 BibTeX
J. Barkley Rosser: An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem. 53-60 BibTeX
L. Chwistek: A Formal Proof of Godel's Theorem. 61-68 BibTeX
Abraham Robinson: On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit). 69-72 BibTeX
P. G. J. Vredenduin: A System of Strict Implication. 73-76 BibTeX
C. H. Langford: A Theorem on Deducibility for Second-Order Functions. 77-79 BibTeX
J. Barkley Rosser: Definition by Induction in Quine's New Foundations for Mathematical Logic. 80-81 BibTeX

Alfred Tarski: On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth. 105-112 BibTeX
Andrzej Mostowski: Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit. 113-114 BibTeX
Frederic Brenton Fitch: Note on Modal Functions. 115-116 BibTeX

William Tuthill Parry: Modalities in the Survey System of Strict Implication. 137-154 BibTeX
J. C. C. McKinsey: Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. 155-158 BibTeX
Frederic Brenton Fitch: The Hypothesis That Infinite Classes are Similar. 159-162 BibTeX
Nelson Goodman: Fifth Meeting of the Association for Symbolic Logic. 176-177 BibTeX