13629 results in The Journal of Symbolic Logic
Notice of conference on mathematical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- March 1970
-
- Article
- Export citation
Karl Schröter. Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikaten-kalküle. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 241–251.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
- Print publication:
- March 1970
-
- Article
- Export citation
Eric Foxley. The construction of scale-of-two mechanisms from universal decision elements. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 281–287.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
- Print publication:
- March 1970
-
- Article
- Export citation
A universal embedding property of the RETs
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-59
- Print publication:
- March 1970
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-701
- Print publication:
- February 1970
-
- Article
- Export citation
Notice of the national science foundation
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
- Print publication:
- February 1970
-
- Article
- Export citation
Effectively retractable theories and degrees of undecidability1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-604
- Print publication:
- February 1970
-
- Article
- Export citation
B. G. Mirkin. O ázyké psévdorégulárnyh vyrazénij (On a language of pseudo-regular expressions). Kibérnétika (Kiev), no. 6 (1966), pp. 8–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 658
- Print publication:
- February 1970
-
- Article
- Export citation
Toshio Nishimura. Gödel no teiri o megutte (Gödel's theorem and related topics). Sugaku, vol. 11 no. 1(1959), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
- Print publication:
- February 1970
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-662
- Print publication:
- February 1970
-
- Article
- Export citation
Y. Bar-Hillel. New light on the liar. Analysis (Oxford), vol. 18 no. 1 (1957), pp. 1–6. - Yehoshua Bar-Hillel. Do natural languages contain paradoxes? Studium generale, vol. 19 (1966), pp. 391–397.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 645
- Print publication:
- February 1970
-
- Article
- Export citation
Jan Salamucha. The proof ‘ex motu’ for the existence of God: Logical analysis of St. Thomas' arguments. English translation of 4212 by Tadeusz Gierymski and Marian Heitzman. The new Scholasticism, vol. 32 (1958), pp. 334–372.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 647
- Print publication:
- February 1970
-
- Article
- Export citation
A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 (1964), pp. 193–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
- Print publication:
- February 1970
-
- Article
- Export citation
Fellowship and research opportunities in the Mathematical Sciences
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
- Print publication:
- February 1970
-
- Article
- Export citation
B. van Rootselaar. Intuition und Konstruktion. Studium generale, vol. 19 (1966), pp. 175–181.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
- Print publication:
- February 1970
-
- Article
- Export citation
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-649
- Print publication:
- February 1970
-
- Article
- Export citation
Rolf Schock. Logik. Almqvist & Wiksell, Stockholm 1967, 105 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 642
- Print publication:
- February 1970
-
- Article
- Export citation
A simple solution of the uniform halting problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 639-640
- Print publication:
- February 1970
-
- Article
- Export citation
Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 127–151.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-654
- Print publication:
- February 1970
-
- Article
- Export citation
Edward W. Cogan, Robert Z. Norman, and Gerald L. Thompson. Calculus of functions of one argument. With analytic geometry and differential equations. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1960, x + 587 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 642
- Print publication:
- February 1970
-
- Article
- Export citation