default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 2
Volume 2, Number 1, March 1937
- Abraham Adolf Fraenkel:
Über eine abgeschwächte Fassung des Auswahlaxioms. 1-25 - Haskell B. Curry:
On the Use of Dots as Brackets in Logical Expressions. 26-28 - Raphael M. Robinson:
The Theory of Classes a Modification of Von Neumann's System. 29-36 - Susanne K. Langer:
Second Meeting of the Association for Symbolic Logic. 63-64 - Paul Bernays:
A System of Axiomatic Set Theory - Part I. 65-77
Volume 2, Number 2, June 1937
- Arnold F. Emch:
Deducibility with Respect to Necessary and Impossible Propositions. 78-81
Volume 2, Number 3, September 1937
- Carl G. Hempel:
A Purely Topological Form of Non-Aristotelian Logic. 97-112 - Willard Van Orman Quine:
On Derivability. 113-119 - Willard Van Orman Quine:
On Cantor's Theorem. 120-124 - Frederic Brenton Fitch:
Modal Functions in Two-Valued Logic. 125-128 - J. Barkley Rosser:
Gödel Theorems for Non-Constructive Logics. 129-137
Volume 2, Number 4, December 1937
- Willard Van Orman Quine:
Logic based on Inclusion and Abstraction. 145-152 - Alan M. Turing:
Computability and λ-Definability. 153-163 - Alan M. Turing:
The p-Function in λ-K-Conversion. 164 - B. A. Bernstein:
Remark on Nicod's Reduction of Principia Mathematica. 165-166
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-01-20 22:57 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:
