Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 1
Volume 1, Number 1, March 1936
- Willard Van Orman Quine:
Toward a Calculus of Concepts. 2-25 - Arnold F. Emch:
Implication and Deducibility. 26-35 - J. Barkley Rosser:
Constructibility as a Criterion for Existence. 36-39 - Alonzo Church:
A Note on the Entscheidungsproblem. 40-41
Volume 1, Number 2, June 1936
- Willard Van Orman Quine:
Set-Theoretic Foundations for Logic. 45-57 - Arnold F. Emch:
Addendum to the Article Implication and Deducibility. 58
Volume 1, Number 3, September 1936
- C. I. Lewis:
Emch's Calculus and Strict Implication. 77-86 - J. Barkley Rosser:
Extensions of Some Theorems of Gödel and Church. 87-91 - Frederic Brenton Fitch:
A System of Formal Logic Without an Analogue to the Curry W Operator. 92-100 - Alonzo Church:
Correction to A Note on the Entscheidungsproblem. 101-102 - Emil L. Post:
Finite Combinatory Processes-Formulation 1. 103-105 - Curt John Ducasse:
List of Officers and Members of the Association for Symbolic Logic. 106-109
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-19 20:12 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:
