default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 3
Volume 3, Number 1, March 1938
- Leon Chwistek, Wladyslaw Hetper:
New Foundation of Formal Metamathematics. 1-36 - Willard Van Orman Quine:
Completeness of the Propositional Calculus. 37-40 - Stephen Cole Kleene:
Third Meeting of the Association for Symbolic Logic. 59-60
Volume 3, Number 2, June 1938
- Jozef Pepis:
Ein Verfahren der mathematischen Logik. 61-76 - C. West Churchman:
On Finite and Infinite Modal Systems. 77-82
Volume 3, Number 3, September 1938
- K. Reach:
The Name Relation and the Logical Antinomies. 97-111 - Archie Blake:
Corrections to Canonical Expressions in Boolean Algebra. 112-113
Volume 3, Number 4, December 1938
- Willard Van Orman Quine:
On the Theory of Types. 125-139 - Frederic Brenton Fitch:
The Consistency of the Ramified Principia. 140-149 - Stephen Cole Kleene:
On Notation for Ordinal Numbers. 150-155
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-15 20:47 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:
