The Journal of Symbolic Logic, Volume 20

Volume 20, Number 1, March 1955

Abner Shimony: Coherence and the Axioms of Confirmation. 1-28 BibTeX
Vaclav Edvard Benes: On the Consistency of an Axiom of Enumerability. 29-30 BibTeX
Hao Wang: Undecidable Sentences Generated by Semantic Paradoxes. 31-43 BibTeX
E. W. Beth, Robert Feys: The Amsterdam Meeting of the Association for Symbolic Logic. 90-94 BibTeX
Steven Orey: Formal Development of Ordinal Number Theory. 95-104 BibTeX

Raymond J. Nelson: Simplest Normal Truth Functions. 105-108 BibTeX
Boleslaw Sobocinski: Note on a Problem of Paul Bernays. 109-114 BibTeX
M. H. Lob: Solution of a Problem of Leon Henkin. 115-118 BibTeX
Shen Yuting: Two Semantical Paradoxes. 119-120 BibTeX
Herman Rubin, Patrick Suppes: A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. 121-122 BibTeX
Robert L. Stanley: Simplified Foundations for Mathematical Logic. 123-139 BibTeX
Richard Montague: On the Paradox of Grounded Classes. 140 BibTeX
W. V. Quine: A Proof Procedure for Quantification Theory. 141-149 BibTeX
Alan Ross Anderson: Correction to a Paper on Modal Logic. 150 BibTeX
Clifford Spector: Recursive Well-Orderings. 151-163 BibTeX
William Craig: Eighteenth Meeting of the Association for Symbolic Logic. 200-206 BibTeX