default search action
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
- Federico 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 - Héctor-Neri Castañeda:
A Note on S5. 191-192 - John C. Shepherdson, S. Korner, M. D. Gladstone:
Meeting of the Association for Symbolic Logic. 218-228
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.