13629 results in The Journal of Symbolic Logic
J. C. E. Dekker and J. Myhill. Some theorems on classes of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 89 (1958), pp. 25–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1962
-
- Article
- Export citation
Hao Wang. The axiomatization of arithmetic. The journal of symbolic logic, vol. 22 (1957), pp. 145–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
- Print publication:
- March 1962
-
- Article
- Export citation
Nicholas Rescher. Conditional permission in deontic logic. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 1–6. - Alan Ross Anderson. Reply to Mr. Rescher. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 6–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
- Print publication:
- March 1962
-
- Article
- Export citation
Abraham Robinson. Note on a problem of L. Henkin. The journal of symbolic logic, vol. 21 (1956), pp. 33–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
- Print publication:
- March 1962
-
- Article
- Export citation
A. Newell, J. C. Shaw, and H. A. Simon. Empirical explorations of the logic theory machine: A case study in heuristic. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 218–230. - Bryan Cowan, G. H. McClurg, A. Newell, P. E. Tanner, L. D. Yarbrough. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
- Print publication:
- March 1962
-
- Article
- Export citation
Shôji Maehara. Equality axiom on Hubert's ε-symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, vol. 7 (1957), pp. 419–435.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
- Print publication:
- March 1962
-
- Article
- Export citation
Shôji Maehara. Über die rekursive Einführung der Funktionen in der reinen Zahlentheorie. Proceedings of the Japan Academy, vol. 33 (1957), pp. 111–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 90
- Print publication:
- March 1962
-
- Article
- Export citation
A. Newell and J. C. Shaw. Programming the logic theory machine. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 230–240. - J. Matlock, L. P. Meissner, P. Sayre, and J. C. Shaw. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
- Print publication:
- March 1962
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- March 1962
-
- Article
-
- You have access
- Export citation
A. A. Markov. Nérazréšimosť problémy goméomorfii (Insolubility of the problem of homeomorpby). Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 300–306.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
- Print publication:
- March 1962
-
- Article
- Export citation
Fellowship and research opportunities in mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- March 1962
-
- Article
- Export citation
Ettore Casari. Lineamenti di logica matematica. Giangiacomo Feltrinelli Editore, Milano 1959. Seconda edizione, 1960, 323 pp. Terzà edizione, 1961, 323 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
- Print publication:
- March 1962
-
- Article
- Export citation
JSL volume 27 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- March 1962
-
- Article
-
- You have access
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- March 1962
-
- Article
- Export citation
Shôji Maehara. General recursive functions in the number-theoretic formal system. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 2 (1957), pp. 119–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 90
- Print publication:
- March 1962
-
- Article
- Export citation
International symposium on the theory of models
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
- Print publication:
- March 1962
-
- Article
- Export citation
S. C. Kleene. Quantification of number-theoretic functions. Compositio mathematica, vol. 14 no. 1 (1959), pp. 23–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 82
- Print publication:
- March 1962
-
- Article
- Export citation
R. S. Pierce. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 (1959), pp. 175–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- March 1962
-
- Article
- Export citation
Andrzej Grzegorczyk. The systems of Leśniewski in relation to contemporary logical research. English, with Polish and Russian summaries. Studia logica, vol. 3 (1955), pp. 77–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
- Print publication:
- March 1962
-
- Article
- Export citation
Theodore Hailperin. A complete set of axioms for logical formulas invalid in some finite domains. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 84–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
- Print publication:
- March 1962
-
- Article
- Export citation