default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 18
Volume 18, Number 1, March 1953
- M. H. Lob:
Concatenation as Basis for a Complete System of Arithmetic. 1-6 - John R. Myhill:
Criteria of Constructibility for Real Numbers. 7-10 - R. M. Martin:
On Truth and Multiple Denotation. 11-18 - Leon Henkin:
Some Notes on Nominalism. 19-29 - William Craig:
On Axiomatizability Within a System. 30-32 - Martin Davis:
Arithmetical Problems and Recursively Enumerable Predicates. 33-41 - Gisbert Hasenjaeger:
Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe. 42-48 - Hao Wang:
Certain Predicates Defined by Induction Schemata. 49-59 - John R. Myhill:
On the Interpretation of the Sign 'subset of'. 60-62 - Alan Rose:
Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul. 63-65
Volume 18, Number 2, June 1953
- Robert L. Stanley:
An Extended Procedure in Quantificational Logic. 97-104 - A. N. Prior:
On Propositions Neither Necessary Nor Impossible. 105-108 - J. C. C. McKinsey:
Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden. 109-113 - Shen Yuting:
Paradox of the Class of All Grounded Classes. 114 - John R. Myhill:
Arithmetic with Creative Definitions by Induction. 115-118 - Willard Van Orman Quine:
On omega;-Inconsistency and a So-Called Axiom of Infinity. 119-124 - J. Richard Büchi:
Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types. 125-135 - Robert McNaughton:
Some Formal Relative Consistency Proofs. 136-144 - John C. Shepherdson:
Inner Models for Set Theory - Part III. 145-167 - Hao Wang:
Problems. 186 - Atwell R. Turquette:
Fifteenth Meeting of the Association for Symbolic Logic. 187-192
Volume 18, Number 3, September 1953
- W. H. Gottschalk:
The Theory of Quaternality. 193-196 - Theodore Hailperin:
Quantification Theory and Empty Individual-Domains. 197-200 - Leon Henkin:
Banishing the Rule of Substitution for Functional Variables. 201-208 - Maurice L'Abbe:
Systems of Transfinite Types Involving lambda-Conversion. 209-224 - R. L. Goodstein:
A Problem in Recursive Function Theory. 225-232 - Robert L. Stanley:
Note on a Paradox. 233 - Ruth Barcan Marcus:
Strict Implication, Deducibility and the Deduction Theorem. 234-236 - Alan Rose:
The M-Valued Calculus of Non-Contradiction. 237-241 - Noam Chomsky:
Systems of Syntactic Analysis. 242-256
Volume 18, Number 4, December 1953
- John G. Kemeny:
A Logical Measure Function. 289-308 - Leo Simons:
New Axiomatizations of S3 and S4. 309-316 - Frederic Brenton Fitch:
A Simplification of Basic Logic. 317-325 - Paul Bernays:
Problems. 350
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-06 20:34 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:
