The Journal of Symbolic Logic, Volume 29

Volume 29, Number 1, March 1964

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

Volume 29, Number 2, June 1964

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

Volume 29, Number 3, September 1964

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

Volume 29, Number 4, December 1964

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

Last update Tue Feb 14 04:21:04 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page