Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 7
Volume 7, Number 1, March 1942
- J. Barkley Rosser:
The Burali-Forti Paradox. 1-17 - J. Barkley Rosser:
New Sets of Postulates for Combinatory Logics. 18-27 - M. H. A. Newman, Alan M. Turing:
A Formal Theorem in Church's Theory of Types. 28-33 - Daniel J. Bronstein:
A Correction to the Sentential Calculus of Tarski's Introduction to Logic. 34 - J. C. C. McKinsey:
Seventh Meeting of the Association for Symbolic Logic. 47-48
Volume 7, Number 2, June 1942
- Haskell B. Curry:
The Combinatory Foundations of Mathematical Logic. 49-64 - Paul Bernays:
A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis. 65-89
Volume 7, Number 3, September 1942
- Frederic Brenton Fitch:
A Basic Logic. 105-114 - Haskell B. Curry:
The Inconsistency of Certain Formal Logic. 115-117
Volume 7, Number 4, December 1942
- Paul Bernays:
A System of Axiomatic Set Theory: Part IV. General Set Theory. 133-145 - Alan M. Turing:
The Use of Dots as Brackets in Church's System. 146-156 - Willard Van Orman Quine:
On Existence Conditions for Elements and Classes. 157-159 - Edmund C. Berkeley:
Conditions Affecting the Application of Symbolic Logic. 160-168
a service of 
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 2024-04-26 17:31 CEST 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:
