default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 6
Volume 6, Number 1, March 1941
- Paul Bernays:
A System of Axiomatic Set Theory - Part II. 1-17 - Frederic Brenton Fitch:
Closure and Quine's *101. 18-22 - George D. W. Berry:
On Quine's Axioms of Quantification. 23-27
Volume 6, Number 2, June 1941
- Haskell B. Curry:
A Revision of the Fundamental Rules of Combinatory Logic. 41-53 - Haskell B. Curry:
Consistency and Completeness of the Theory of Combinators. 54-61
Volume 6, Number 3, September 1941
- Alfred Tarski:
On the Calculus of Relations. 73-89 - Ray H. Dotterer:
A Generalization of the Antilogism. 90-95 - J. Barkley Rosser:
The Independence of Quine's Axioms *200 and *201. 96-97
Volume 6, Number 4, December 1941
- J. C. C. McKinsey:
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology. 117-134 - Willard Van Orman Quine:
Element and Number. 135-149 - Nelson Goodman:
Sequences. 150-153 - C. H. Langford:
Note on a Device of Quine and Goodman. 154-155 - C. H. Langford:
List of Officers and Members of the Association for Symbolic Logic. 174-178
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-06 23:21 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:
