The Journal of Symbolic Logic, Volume 14

Volume 14, Number 1, March 1949

N. Bourbaki: Foundations of Mathematics for the Working Mathematician. 1-8 BibTeX
Frederic Brenton Fitch: The Heine-Borel Theorem in Extended Basic Logic. 9-15 BibTeX
David Nelson: Constructible Falsity. 16-26 BibTeX
R. M. Martin: A Note on Nominalism and Recursive Functions. 27-31 BibTeX
Nelson Goodman: The Logical Simplicity of Predicates. 32-41 BibTeX
Leon Henkin: Fragments of the Propositional Calculus. 42-48 BibTeX
Max A. Zorn: Eleventh Meeting of the Association for Symbolic Logic. 73-80 BibTeX

Frederic Brenton Fitch: On Natural Numbers, Integers, and Rationals. 81-84 BibTeX
Zoltan Paul Dienes: On Ternary Logic. 85-94 BibTeX
Zoltan Paul Dienes: On an Implication Function in Many-Valued Systems of Logic. 95-97 BibTeX
Julia Robinson: Definability and Decision Problems in Arithmetic. 98-114 BibTeX
Marshall Hall Jr.: The Word Problem for Semigroups with Two Generators. 115-118 BibTeX

Ernst Specker: Nicht Konstruktiv Beweisbare Satze Der Analysis. 145-158 BibTeX
Leon Henkin: The Completeness of the First-Order Functional Calculus. 159-166 BibTeX
Nathan P. Levin: Computational Logic. 167-172 BibTeX
Gustav Bergmann: A Syntactical Characterization of S5. 173-174 BibTeX
John R. Myhill: Note on an Idea of Fitch. 175-176 BibTeX
Tzu-Hua Hoo: m-Valued Sub-System of (m+n)-Valued Propositional Calculus. 177-181 BibTeX

Frederic Brenton Fitch: A Further Consistent Extension of Basic Logic. 209-218 BibTeX
J. Barkley Rosser, Atwell R. Turquette: A Note on the Deductive Completeness of M-Valued Propositional Calculi. 219-225 BibTeX
R. M. Martin: A Note on Nominalistic Syntax. 226-227 BibTeX
Nelson Goodman: An Improvement in the Theory of Simplicity. 228-229 BibTeX
Soren Hallden: Results Concerning the Decision Problem of Lewis's Calculi S3 and S6. 230-236 BibTeX