13629 results in The Journal of Symbolic Logic
J. R. Shoenfield. On degrees of unsolvability. Annals of mathematics, second series, vol. 69 (1959), pp. 644–653. - J. R. Shoenfield. An uncountable set of incomparable degrees. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 61–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
- Print publication:
- December 1964
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-228
- Print publication:
- December 1964
-
- Article
- Export citation
Hierarchies over recursive well-orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-190
- Print publication:
- December 1964
-
- Article
- Export citation
Notice to fellowship and research opportunities in mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
- Print publication:
- December 1964
-
- Article
- Export citation
Satosi Watanabe. A model of mind-body relation in terms of modular logic. Synthese, vol. 13 (1961), pp. 261–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-198
- Print publication:
- December 1964
-
- Article
- Export citation
Léon LeBlanc. Transformation algebras. Canadian journal of mathematics, vol. 13 (1961), pp. 602–613.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 206-207
- Print publication:
- December 1964
-
- Article
- Export citation
A. A. Zinov′ev. Philosophical problems of many-valued logic. Revised edition, edited and translated by Guido Küng and David Dinsmore Comey. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, 1963, XIV + 155 pp. - Guido Küng and David Dinsmore Comey. Foreword from the editors. Therein, pp. VII–IX. - Anonymous. Bibliography of the publications of Aleksandr Aleksandrovič Zinov′ev. Therein, pp. X–XI. - A. A. Zinov′ev. Author's preface. Therein, pp. XII–XIV. - Guido Küng and David Dinsmore Comey. Translators' notes. Therein, pp. 149–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
- Print publication:
- December 1964
-
- Article
- Export citation
Gerald E. Sacks. Degrees of unsolvability. Annals of Mathematics studies, no. 55. Lithoprinted. Princeton University Press, Princeton1963, xii + 174 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 202-203
- Print publication:
- December 1964
-
- Article
- Export citation
S. V. Áblonskij. Funktional'nyé postroéniá v k-značnoj logiké (Functional constructions in k-valued logic). Sbornik statéj po matématičéskoj logiké i éé priložéniám k nékotorym voprosam kibérnétiki, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 51, Izdatél'stvo Akadémii Nauk SSSR, Moscow1958, pp. 5–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-216
- Print publication:
- December 1964
-
- Article
- Export citation
B. I. Finikov. Ob odnom séméjstvé klassov funkcij algébry logiki i ih réalizacii v klassé II-shém (On a family of classes of functions in the algebra of logic and their realizations in the class of II-circuits). Doklady Akadémii Nauk SSSR, vol. 115 (1957), pp. 247–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 212
- Print publication:
- December 1964
-
- Article
- Export citation
John Myhill. Remark on a system of Bernays. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 75–76.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
- Print publication:
- December 1964
-
- Article
- Export citation
Leon Henkin. Mathematical induction. MAA film manual no. 1. The Mathematical Association of America, University of Buffalo, Buffalo, N.Y., 1961, v + 21 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
- Print publication:
- December 1964
-
- Article
- Export citation
Frederic B. Fitch. The system CΔ of combinatory logic. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 87–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-199
- Print publication:
- December 1964
-
- Article
- Export citation
Gerald E. Sacks. Recursive enumerability and the jump operator. Transactions of the American Mathematical Society, vol. 108 (1963), pp. 223–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 204
- Print publication:
- December 1964
-
- Article
- Export citation
Effective operations in a general setting
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-178
- Print publication:
- December 1964
-
- Article
- Export citation
A note on S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
- Print publication:
- December 1964
-
- Article
- Export citation
Gerald E. Sacks. On suborderings of degrees of recursive unsolvability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 46–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 203
- Print publication:
- December 1964
-
- Article
- Export citation
Alan Rose. Sur un ensemble indépendent de foncteurs primitifs pour le calcul propositionnel, lequel constitue son propre dual. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 4089–4091. - Alan Rose. Nouvelle formalisation du calcul propositionnel bivalent dont les foncteurs primitifs forment un ensemble qui constitue son propre dual. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 4246–4248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
- Print publication:
- December 1964
-
- Article
- Export citation
A. A. Markov. Matématičéskaá logika i vyčislitél′ naá matématika (Mathematical logic and numerical analysis). Véstnik Akadémii Nauk SSSR, vol. 27 no. 8 (1957), pp. 21–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
- Print publication:
- December 1964
-
- Article
- Export citation
JSL volume 29 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1964
-
- Article
-
- You have access
- Export citation