13629 results in The Journal of Symbolic Logic
P. M. Cohn. Universal algebra. Harper & Row, Publishers, New York, Evanston, and London, 1965, xv + 333 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. BelnapJr., Modalities in Ackermann's “rigorous implication.”The journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 107–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
- Print publication:
- 29 May 1969
-
- Article
- Export citation
J. C. Shepherdson. Representability of recursively enumerable sets in formal theories. Archiv für mathematische Logik und Grundlagenforschung. vol. 5 nos. 3-4 (1960). pp. 119–127.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Ronald Jager. Russell's denoting complex. Analysis (Oxford), vol. 20 (1960), pp. 53–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 144
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Rich co-ordinals, addition isomorphisms, and RETs1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-52
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 (1968), pp. 389–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
- Print publication:
- 29 May 1969
-
- Article
- Export citation
A normal modal calculus between T and S4 without the finite model property
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-38
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Gerold Stahl. Le problème de l'existence dans la logique symbolique. Revue philosophique de la France et de l′ètranger, vol. 150 (1960), pp. 97–104. - Gerold Stahl. Temps et existence. Revue philosophique de la France et de l′ètranger, vol. 151 (1961), pp. 501–507. - G. Stahl. Une formalisation du “dominateur.”Revue philosophique de la France et de l′ètranger, vol. 153 (1963), pp. 239–243.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-141
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Saul A. Kripke. An extension of a theorem of Gaifman-Hales-Solovay. Fundamenta mathematicae, vol. 61 (1967), pp. 29–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Identity, equivalence and isomorphism of problems
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 24-34
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Rolf Schock. On probability logics. Notre Dame journal of formal logic, vol. 6 no. 2 (1965), pp. 129–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
- Print publication:
- 29 May 1969
-
- Article
- Export citation
G. Kreisel and J. L. Krivine. Elements of mathematical logic. (Model theory). North-Holland Publishing Company, Amsterdam1967, xi + 222 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Ph. Dwinger. Direct limits of partially ordered systems of Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, series A, vol. 70 (1967), pp. 317–325; also Indagationes mathematicae, vol. 29 (1967), pp. 317-325.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. v
- Print publication:
- 29 May 1969
-
- Article
-
- You have access
- Export citation
M. T. Partis. Commutative partially ordered recursive arithmetics. Mathematica Scandinavica, vol. 13 (1963), pp. 199–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
- Print publication:
- 29 May 1969
-
- Article
- Export citation
José de Jesús Martínez. Introducción la lógica moderna. Publicaciones del Instituto de Filosofía e Historia, Panama1962, 156 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-151
- Print publication:
- 29 May 1969
-
- Article
- Export citation
A. Ehrenfeucht. Separable theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 17–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Elliott Mendelson. Introduction to mathematical logic. The University Series in Undergraduate Mathematics, D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, London, 1964, x + 300 pp. Reprinted with corrections, ibid., January, 1966, x + 300 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Seymour Ginsburg and H. Gordon Rice. Two families of languages related to ALGOL. Journal of the Association for Computing Machinery, vol. 9 (1962), pp. 350–371.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 135
- Print publication:
- 29 May 1969
-
- Article
- Export citation