default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 14
Volume 14, Number 1, March 1949
- Nicolas Bourbaki:
Foundations of Mathematics for the Working Mathematician. 1-8 - Frederic Brenton Fitch:
The Heine-Borel Theorem in Extended Basic Logic. 9-15 - David Nelson:
Constructible Falsity. 16-26 - R. M. Martin:
A Note on Nominalism and Recursive Functions. 27-31 - Nelson Goodman:
The Logical Simplicity of Predicates. 32-41 - Leon Henkin:
Fragments of the Propositional Calculus. 42-48 - Max A. Zorn:
Eleventh Meeting of the Association for Symbolic Logic. 73-80
Volume 14, Number 2, June 1949
- Frederic Brenton Fitch:
On Natural Numbers, Integers, and Rationals. 81-84 - Zoltan Paul Dienes:
On Ternary Logic. 85-94 - Zoltan Paul Dienes:
On an Implication Function in Many-Valued Systems of Logic. 95-97 - Julia Robinson:
Definability and Decision Problems in Arithmetic. 98-114 - Marshall Hall Jr.:
The Word Problem for Semigroups with Two Generators. 115-118
Volume 14, Number 3, September 1949
- Ernst Specker:
Nicht Konstruktiv Beweisbare Satze Der Analysis. 145-158 - Leon Henkin:
The Completeness of the First-Order Functional Calculus. 159-166 - Nathan P. Levin:
Computational Logic. 167-172 - Gustav Bergmann:
A Syntactical Characterization of S5. 173-174 - John R. Myhill:
Note on an Idea of Fitch. 175-176 - Tzu-Hua Hoo:
m-Valued Sub-System of (m+n)-Valued Propositional Calculus. 177-181
Volume 14, Number 4, December 1949
- Frederic Brenton Fitch:
A Further Consistent Extension of Basic Logic. 209-218 - J. Barkley Rosser, Atwell R. Turquette:
A Note on the Deductive Completeness of M-Valued Propositional Calculi. 219-225 - R. M. Martin:
A Note on Nominalistic Syntax. 226-227 - Nelson Goodman:
An Improvement in the Theory of Simplicity. 228-229 - Soren Hallden:
Results Concerning the Decision Problem of Lewis's Calculi S3 and S6. 230-236
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-04 01:01 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:
