default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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 - 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
- Curt John 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 - Leon Chwistek:
A Formal Proof of Gödel'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
- Alfred Tarski:
On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth. 105-112 - Andrzej Mostowski:
Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit. 113-114 - Frederic Brenton Fitch:
Note on Modal Functions. 115-116
Volume 4, Number 4, December 1939
- William Tuthill Parry:
Modalities in the Survey System of Strict Implication. 137-154 - J. C. C. McKinsey:
Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. 155-158 - Frederic Brenton Fitch:
The Hypothesis That Infinite Classes are Similar. 159-162 - Nelson Goodman:
Fifth Meeting of the Association for Symbolic Logic. 176-177
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
