13629 results in The Journal of Symbolic Logic
M. I. Kargapolov. Ob eléméntarnoj téorii abélévyh grupp (On the elementary theory of Abelian groups). Algébra i logika, Séminar, vol. 1 no. 6 (1963), pp. 26–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-536
- Print publication:
- February 1968
-
- Article
- Export citation
Arto Salomaa. On essential variables of functions, especially in the algebra of logic. Annales Academiae Scientiarum Fennicae, series A.I, Mathematica, no. 339, Helsinki1963, 11 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 539
- Print publication:
- February 1968
-
- Article
- Export citation
Note fellowship and research opportunities in mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 573
- Print publication:
- February 1968
-
- Article
- Export citation
Takeo Sugihara. Yôsô ronrigaku kenkyû (A study on modal logic). Sankibô, Tokyo1964, 2 + 188 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 544
- Print publication:
- February 1968
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 574-577
- Print publication:
- February 1968
-
- Article
- Export citation
Nicholas Rescher. Choice without preference. A study of the history and of the logic of the problem of “Buridan's ass.”Kant-Studien, vol. 51 (1959–60), pp. 142–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-546
- Print publication:
- February 1968
-
- Article
- Export citation
Solomon Feferman. Transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, vol. 27 no. 3 (for 1962, pub. 1963), pp. 259–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 530-531
- Print publication:
- February 1968
-
- Article
- Export citation
S. Feferman and C. Spector. Incompleteness along paths in progressions of theories. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 383–390.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 531
- Print publication:
- February 1968
-
- Article
- Export citation
Gerald E. Sacks. A maximal set which is not complete. Michigan mathematical journal, vol. 11 (1964), pp. 193–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
- Print publication:
- February 1968
-
- Article
- Export citation
Vladimir G. Kirin. Gentzen's method for the many-valued propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 317–332.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 538-539
- Print publication:
- February 1968
-
- Article
- Export citation
R. D. Lee. The substitution schema in recursive arithmetic. Notre Dame journal of formal logic, vol. 6 no. 3 (1965), pp. 193–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 543
- Print publication:
- February 1968
-
- Article
- Export citation
P. Schofield. Complete subsets of mappings over a finite domain. Proceedings of the Cambridge Philosophical Society, vol. 62 (1966), pp. 597–611.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-540
- Print publication:
- February 1968
-
- Article
- Export citation
L. Jonathan Cohen. Can the logic of indirect discourse be formalised?The journal of symbolic logic, vol. 22 (1957), pp. 225–232. - A. N. Prior. Epimenides the Cretan. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 261–266. - R. L. Goodstein. On the formalisation of indirect discourse. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 417–419. - L. Jonathan Cohen. Professor Goodstein's formalisation of the policeman. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), p. 420.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-550
- Print publication:
- February 1968
-
- Article
- Export citation
A. S. Ésénine-Volpine. Le programme ultra-intuitionniste des fondements des mathématiques. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 201–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
- Print publication:
- February 1968
-
- Article
- Export citation
Yiannis N. Moschovakis. Many-one degrees of the predicates Ha(x). Pacific journal of mathematics, vol. 18 (1966), pp. 329–342.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-530
- Print publication:
- February 1968
-
- Article
- Export citation
Jerzy Slupecki. Funkcja Łukasiewicz {The Łukasiewicz function). Matematyka, fizyka, astronomia, II, Uniwersytet Wroctawski. im. Boleslawa Bieruta, Zeszyty naukowe, ser. B no. 3, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau1959, pp. 33–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 536
- Print publication:
- February 1968
-
- Article
- Export citation
Gerold Stahl. Enfoque moderno de la lógica clásica. Contribuciones a la lógica simbólica no. 1. Ediciones de la Universidad de Chile, Santiago de Chile1958, 187 pp. - Gerold Stahl. Introducción a la lógica simbólica. Second Edition. Contribuciones a la lógica simbólica no. 2. Editorial Universitaria, Santiago de Chile1962, 206 pp. - Gerold Stahl. Elementos de la metalógica y metamatemática. Contribuciones a la lógica simbólica no. 3. Editorial Universitaria, Santiago de Chile1964,160 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-521
- Print publication:
- February 1968
-
- Article
- Export citation
Arnold Oberschelp. Über die Axiome produkt-abgeschlossener arithmetischer Klassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 95–123.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-533
- Print publication:
- February 1968
-
- Article
- Export citation
T. Rado. On non-computable functions. The Bell System technical journal, vol. 41 (1962), pp. 877–884.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
- Print publication:
- February 1968
-
- Article
- Export citation
S. Ú. Maslov. O “Tag”-problémé E. L. Posta (On the “Tag” problem of E. L. Post). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 57–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
- Print publication:
- February 1968
-
- Article
- Export citation