13629 results in The Journal of Symbolic Logic
Abraham A. Fraenkel. Abstract set theory. Second, completely revised edition. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1961, VIII + 295 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
- Print publication:
- June 1963
-
- Article
- Export citation
Gaisi Takeuti. An example on the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 238–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
- Print publication:
- June 1963
-
- Article
- Export citation
Ettore Carruccio. Corso di storia delle matematiche. Matematica e logica nella storia e nel pensiero contemporaneo. Second edition, revised and augmented. Editore Gheroni, Turin1952, 552 pp. - Ettore Carruccio. Matematica e logica nella storia e nel pensiero contemporaneo. Editore Gheroni, Turin1958, 367 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
- Print publication:
- June 1963
-
- Article
- Export citation
K. Jaakko J. Hintikka. Loogisen kielentutkimuksen näköaloja (On the logical study of language). Ajatus, vol. 19 (1956), pp. 81–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
- Print publication:
- June 1963
-
- Article
- Export citation
Eric Foxley. The determination of all Sheffer functions in 3-valued logic, using a logical computer. Notre Dame journal of formal logic, vol. 3 (1962), pp. 41–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
- Print publication:
- June 1963
-
- Article
- Export citation
JSL volume 28 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1963
-
- Article
-
- You have access
- Export citation
William S. Hatcher. La notion d′équivalence entre systèmes formels et une généralisation inductive du système dit “New foundations” de Quine. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 256 (1963), pp. 563–566.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
- Print publication:
- June 1963
-
- Article
- Export citation
S. Mrówka. On the ideals' extension theorem and its equivalence to the axiom of choice. Fundamenta mathematicae vol. 43 (1956), pp. 46–49. - S. Mrówka. Two remarks on my paper: “On the ideals' extension theorem and its equivalence to the axiom of choice.”Fundamenta mathematicae vol. 46 (1958), pp. 165–166. - Bernhard Banaschewski. On some theorems equivalent with the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 279–282.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 168
- Print publication:
- June 1963
-
- Article
- Export citation
Gr. C. Moisil. Rapport sur le développement dans la R.P.R. de la théorie algébrique des mécanismes automatiques. Anatele Universităţii C. I. Parhon, seria Acta logica, vol. 2 no. 1 (1959), pp. 145–199.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
- Print publication:
- June 1963
-
- Article
- Export citation
A. Nerode. Linear automaton transformations. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 541–544.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- June 1963
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- June 1963
-
- Article
- Export citation
Francis C. Oglesby. An examination of a decision procedure. Memoirs of the American Mathematical Society, no. 44. American Mathematical Society, Providence 1962, 148 pp. - F. C. Oglesby. Report: An examination of a decision procedure. Bulletin of the American Mathematical Society, vol. 67 (1961), pp. 300–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- June 1963
-
- Article
- Export citation
Thomas W. Scharle. A diagram of the functors of the two-valued propositional calculus. Notre Dame journal of formal logic, vol. 3 (1962), pp. 243–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1963
-
- Article
- Export citation
On many-one degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-153
- Print publication:
- June 1963
-
- Article
- Export citation
António Monteiro. Matrices de Morgan caractéristiques pour le calcul propositionnel classique. Anais da Academia Brasileira de Ciencias, vol. 32 (1960), pp. 1–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-175
- Print publication:
- June 1963
-
- Article
- Export citation
JSL volume 28 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- June 1963
-
- Article
-
- You have access
- Export citation
Functions which remain partial recursive under all similarity transformations
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-19
- Print publication:
- March 1963
-
- Article
- Export citation
J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-102
- Print publication:
- March 1963
-
- Article
- Export citation
Johann Mokre. Zu den logischen Paradoxien. Meinong-Gedenkschrift, Schriften der Universität Graz, Vol. I, “Styria” Steirische Verlagsanstalt, Graz 1952, pp. 81–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- March 1963
-
- Article
- Export citation
Rolf Schock. Some remarks on Russell's treatment of definite descriptions. Logique et analyse, n.s. vol. 5 (1962), pp. 77–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
- Print publication:
- March 1963
-
- Article
- Export citation