13629 results in The Journal of Symbolic Logic
Allan Lytel. abc's of Boolean algebra. Howard W. Sams & Co., Inc., Indianapolis, and The Bobbs-Merrill Company, Inc., New York, 1963, 112 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
- Print publication:
- June 1967
-
- Article
- Export citation
Alberto Pasquinelli. Introduzione alla logica simbolica. Second printing. With a preface by Ludovico Geymonat. Biblioteca di cultura scientifica. Paolo Boringhieri, Turin1963, x + 118 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
- Print publication:
- June 1967
-
- Article
- Export citation
George W. Day. Free complete extensions of Boolean algebras. Pacific journal of mathematics, vol. 15 (1965), pp. 1145–1151.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- June 1967
-
- Article
- Export citation
J. W. Swanson. A reduction theorem for normal algorithms. The journal of symbolic logic, vol. 31 (1966), pp. 86–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
- Print publication:
- June 1967
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
- Print publication:
- June 1967
-
- Article
- Export citation
J. Hartmanis and R. E. Stearns. On the computational complexity of algorithms. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 285–306.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-121
- Print publication:
- June 1967
-
- Article
-
- You have access
- Export citation
Ettore Carruccio. Mathematics and logic in history and in contemporary thought. English translation of XXVIII 171(2) by Isabel Quigly. Faber and Faber, London, and Aldine Publishing Company, Chicago, 1964, 398 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- June 1967
-
- Article
- Export citation
Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 1–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
- Print publication:
- June 1967
-
- Article
- Export citation
W. A. J. Luxemburg. A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras. Fundamenta mathematicae, vol. 55 (1964), pp. 239–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- June 1967
-
- Article
- Export citation
Ronald Harrop. A relativization procedure for propositional calculi, with an application to a generalized form of Post's theorem. Proceedings of the London Mathematical Society, vol. 14 (1964), pp. 595–617. - Ronald Harrop. Some generalizations and applications of a relativization procedure for propositional calculi. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 12–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
- Print publication:
- June 1967
-
- Article
- Export citation
Andrzej Mostowski. Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 269–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
- Print publication:
- June 1967
-
- Article
- Export citation
Sheila A. Greibach. The undecidability of the ambiguity problem for minimal linear grammars. Information and control, vol. 6 (1963), pp. 119–125.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
- Print publication:
- June 1967
-
- Article
- Export citation
Elliott Mendelson. On non-standard models for number theory. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 259–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- June 1967
-
- Article
- Export citation
Thoralf Skolem. Bemerkungen zum Komprehensionsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 1–17. - C. C. Chang. The axiom of comprehension in infinite valued logic. Mathematica Scandinavica, vol. 13 (1963), pp. 9–30. - Jens Erik Fenstad. On the consistency of the axiom of comprehension in the Łukasiewicz infinite valued logic. Mathematica Scandinavica, vol. 14 (1964), pp. 65–74. - C. C. Chang. Infinite valued logic as a basis for set theory. 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, Amsterdam1965, pp. 93–100.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
- Print publication:
- June 1967
-
- Article
- Export citation
Ultraproducts which are not saturated
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 23-46
- Print publication:
- June 1967
-
- Article
- Export citation
Henry Hiż. Congrammaticality, batteries of transformations and grammatical categories. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 43–50. - H. Hiż. The intuitions of grammatical categories. Methodos, vol. 12 (for 1960, pub. 1961), pp. 311–319.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
- Print publication:
- June 1967
-
- Article
- Export citation
Lothar Philipps. Rechtliche Regelung und formale Logik. German with French and English summaries. Archiv für Rechts- und Sozial-philosophie, vol. 50 (1964), pp. 317–329.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
- Print publication:
- June 1967
-
- Article
- Export citation
Alfred Tarski and Robert L. Vaught. Arithmetical extensions of relational systems. Compositio mathematica, vol. 13 no. 2 (1957), pp. 81–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- June 1967
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-142
- Print publication:
- June 1967
-
- Article
- Export citation
Jose EncarnacionJr., On Ushenko's version of the liar-paradox. Mind, n.s. vol. 64 (1955), pp. 99–100. - A. P. Ushenko. A note on the liar-paradox. Mind, n.s. vol. 64 (1955), p. 543. - Eric Toms. The Liar Paradox. The philosophical review, vol. 65 (1956), pp. 542–547. - Keith S. Donnellan. A note on the liar paradox. The philosophical review, vol. 66 (1957), pp. 394–397. - A. P. Ushenko. An addendum to the note on the liar-paradox. Mind, n.s. vol. 66 (1957), p. 98. - Eric Toms. Reply to a note on the liar paradox. The philosophical review, vol. 67 (1958), pp. 101–105. - William W. Rozeboom. Is Epimenides still lying?Analysis (Oxford), vol. 18 no. 5 (1958), pp. 105–113. - W. J. Huggett. Paradox lost. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 21–23. - C. H. Whiteley. Let Epimenides lie! Analysis (Oxford), vol. 19 no. 1 (1958), pp. 23–24. - Sibanban. Mr. Eric Toms on the liar paradox. Mind, n.s. vol. 74 (1965), pp. 421–423.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-112
- Print publication:
- June 1967
-
- Article
- Export citation