default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 17
Volume 17, Number 1, March 1952
- Andrzej Mostowski:
On Direct Products of Theories. 1-31 - Alan Rose:
An Extension of Computational Logic. 32-34 - Haskell B. Curry:
The System LD. 35-42 - Georg Kreisel:
On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications. 43-58
Volume 17, Number 2, June 1952
- Gisbert Hasenjaeger:
Über omega-Unvollständigkeit in der Peano-Arithmetik. 81-97 - Haskell B. Curry:
On the Definition of Negation by a Fixed Proposition in Inferential Calculus. 98-104 - Hao Wang:
Logic of Many-Sorted Theories. 105-116 - James Willard Oliver:
Fourteenth Meeting of the Association for Symbolic Logic. 156-159 - Heinrich Scholz, Georg Kreisel, Leon Henkin:
Problems. 160
Volume 17, Number 3, September 1952
- Jan Kalicki:
A Test for the Equality of Truth-Tables. 161-163 - John R. Myhill:
A Finitary Metalanguage for Extended Basic Logic. 164-178 - Alonzo Church, Willard Van Orman Quine:
Some Theorems on Definability and Decidability. 179-187 - William Craig, Willard Van Orman Quine:
On Reduction to a Symmetric Relation. 188 - Nelson Goodman:
New Notes on Simplicity. 189-191 - John R. Myhill:
A Derivation of Number Theory from Ancestral Theory. 192-197
Volume 17, Number 4, December 1952
- John C. Shepherdson:
Inner Models for Set Theory-Part II. 225-237 - J. Barkley Rosser:
The Axiom of Infinity in Quine's New Foundations. 238-242 - Moh Shaw-Kwei:
A Note on the Theory of Quantification. 243-244 - Haskell B. Curry:
The Permutability of Rules in the Classical Inferential Calculus. 245-248 - Haskell B. Curry:
The Elimination Theorem When Modality is Present. 249-265
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-11-26 20:45 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:
