13629 results in The Journal of Symbolic Logic
Raymond M. Smullyan. Theory of formal systems. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 142 pp. - Raymond M. Smullyan. Theory of formal systems. Revised edition. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 147 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-90
- Print publication:
- March 1965
-
- Article
- Export citation
JSL volume 30 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1965
-
- Article
-
- You have access
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-112
- Print publication:
- March 1965
-
- Article
- Export citation
Robert E. Clay. A standard form for Łukasiewicz many-valued logics. Notre Dame journal of formal logic, vol. 4 (1963), pp. 59–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
- Print publication:
- March 1965
-
- Article
- Export citation
Jean Ladrière. Expression de la récursion primitive dans le calcul-λ-K. Logique et analyse, n.s. vol. 4 (1961), pp. 23–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-94
- Print publication:
- March 1965
-
- Article
- Export citation
Ettore Carruccio. Sulle dimostrazioni di coerenza dei sistemi ipotetico-deduttivi. Università e Politecnico di Torino, Rendiconti del Seminario Matematico, vol. 10 (1950–1951), pp. 97–110.
-
- 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
Harold Jeffreys. Scientific inference. Second edition of VII 175(9). Cambridge University Press, Cambridge1957, viii + 236 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
- Print publication:
- December 1964
-
- Article
- Export citation
Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh. Retracing elementary mathematics. The Macmillan Company, New York1962, xviii + 418 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
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- December 1964
-
- Article
- Export citation
Léon Leblanc. Les algèbres booléennes topologiques bornées. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3766–3768.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 206
- Print publication:
- December 1964
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
- Print publication:
- December 1964
-
- Article
- Export citation
H. A. Pogorzelski. Word arithmetic: Theory of primitive words. Ebd., S. 251–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
- Print publication:
- December 1964
-
- Article
- Export citation
Harry V. Stopes-Roe. Some considerations concerning “interpretative systems.”Philosophy of science, vol. 25 (1958), pp. 143–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-197
- Print publication:
- December 1964
-
- Article
- Export citation
J. L. Britton. The word problem for groups. Proceedings of the London Mathematical Society, third series, vol. 8 (1958), pp. 493–506. - John L. Britton. The word problem. Annals of mathematics, second series, vol. 77 (1963), pp. 16–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 205-206
- Print publication:
- December 1964
-
- Article
- Export citation
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 210
- Print publication:
- December 1964
-
- Article
- Export citation
Léon Le Blanc. Représentation des algèbres polyadiques pour anneau. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 4092–4094.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
- Print publication:
- December 1964
-
- Article
- Export citation
Reviews - Paul Ziff. Semantic analysis. Cornell University Press, Ithaca1960, xi + 255 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-194
- Print publication:
- December 1964
-
- Article
- Export citation
H. A. Pogorzelski. A note on an arithmetization of a word system in a denumerable alphabet. Ebd., Bd. 8 (1962), S. 247–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
- Print publication:
- December 1964
-
- Article
- Export citation
Paul Axt. Note on the 3-recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 7 (1961), S. 97–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
- Print publication:
- December 1964
-
- Article
- Export citation
Alan Rose. Some formalisations of ℵ0-valued prepositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 204–209.
-
- 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