The Journal of Symbolic Logic, Volume 12

Volume 12, Number 1, March 1947

• Emil L. Post: Recursive Unsolvability of a Problem of Thue. 1-11 BibTeX
• Ruth C. Barcan: The Identity of Individuals in a Strict Functional Calculus of Second Order. 12-15 BibTeX
• Charles A. Baylis: Ninth Meeting of the Association for Symbolic Logic. 30-32 BibTeX

Volume 12, Number 2, June 1947

• Andrzej Mostowski: On Absolute Properties of Relations. 33-42 BibTeX
• W. V. Quine: The Problem of Interpreting Modal Logic. 43-48 BibTeX

Volume 12, Number 3, September 1947

• Laszlo Kalmar, Janos Suranyi: On the Reduction of the Decision Problem. 65-73 BibTeX
• W. V. Quine: On Universals. 74-84 BibTeX

Volume 12, Number 4, December 1947

• Nelson Goodman, W. V. Quine: Steps Toward a Constructive Nominalism. 105-122 BibTeX
• R. L. Goodstein: Transfinite Ordinals in Recursive Number Theory. 123-129 BibTeX
• Hao Wang: A Note on Quine's Principles of Quantification. 130-132 BibTeX