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
• Ruth C. Barcan: The Identity of Individuals in a Strict Functional Calculus of Second Order. 12-15
• Charles A. Baylis: Ninth Meeting of the Association for Symbolic Logic. 30-32

Volume 12, Number 2, June 1947

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

Volume 12, Number 3, September 1947

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

Volume 12, Number 4, December 1947

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