The Journal of Symbolic Logic, Volume 29

Volume 29, Number 1, March 1964

• Solomon Feferman: Systems of Predicative Analysis. 1-30 BibTeX
• A. N. Prior: Two Additions to Positive Implication. 31-32 BibTeX
• R. A. Bull: Some Results for Implicational Calculi. 33-39 BibTeX

Volume 29, Number 2, June 1964

• Lawrence Peter Belluce: Further Results on Infinite Valued Predicate Logic. 69-78 BibTeX
• Lennart Åqvist: Results Concerning Some Modal Systems That Contain S2. 79-87 BibTeX

Volume 29, Number 3, September 1964

• F. M. Sioson: Equational Bases of Boolean Algebras. 115-124 BibTeX
• Ivo Thomas: Ten Modal Models. 125-128 BibTeX
• Raymond M. Smullyan: Meeting of the Association for Symbolic Logic. 150-162 BibTeX

Volume 29, Number 4, December 1964

• Alistair H. Lachlan: Effective Operations in a General Setting. 163-178 BibTeX
• Charles D. Parsons: A Note on Quine's Treatment of Transfinite Recursion. 179-182 BibTeX
• Herbert B. Enderton, David C. Luckham: Hierarchies Over Recursive Well-Orderings. 183-190 BibTeX
• Hector-Neri Castaneda: A Note on S5. 191-192 BibTeX
• John C. Shepherdson, S. Korner, M. D. Gladstone: Meeting of the Association for Symbolic Logic. 218-228 BibTeX