13630 results in The Journal of Symbolic Logic
James Ax. On the undecidability of power series fields. Proceedings of the American Mathematical Society, vol. 16 (1965), p. 846.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 684
- Print publication:
- December 1971
-
- Article
- Export citation
A. P. Bowran. A Boolean algebra abstract and concrete. Macmillan & Co. Ltd, London, and St. Martin's Press, New York, 1965, vii + 93 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 677
- Print publication:
- December 1971
-
- Article
- Export citation
Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-609
- Print publication:
- December 1971
-
- Article
- Export citation
Erwin Engeler. Zur Beweistheorie von Sprachen mit unendlich langen Formeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 213–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 685
- Print publication:
- December 1971
-
- Article
- Export citation
Th. Skolem. Two remarks on set theory. Mathematica Scandinavica, vol. 5 (1957), pp. 40–46. - John H. Harris. On a problem of Th. Skolem. Notre Dame Journal of formal logic, vol. 11 (1970), pp. 372–374.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 680
- Print publication:
- December 1971
-
- Article
- Export citation
V. Devidé. A proof of the well-ordering theorem. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 53–54. - Vladimir Devidé. A proof of Zermelo's theorem. The journal of symbolic logic, vol. 32 (1967), p. 366.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 681
- Print publication:
- December 1971
-
- Article
- Export citation
Hans Hermes. Term logic with choice operator. A revised and enlarged translation of XXXV 440. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, iv + 55 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 679-680
- Print publication:
- December 1971
-
- Article
- Export citation
Heinrich Scholz. Concise history of logic. English translation of XXXVI 351 by Kurt F. Leidecker. Philosophical Library, New York1961, xiv + 140 pp. - Kurt F. Leidecker. Introduction. Therein, pp. ix–x.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 676-677
- Print publication:
- December 1971
-
- Article
- Export citation
Elvin Rasof. The Carrollian Matrix. Notre Dame journal of formal logic, vol. 11 (1970), pp. 497–504.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
- Print publication:
- December 1971
-
- Article
- Export citation
JSL volume 36 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- December 1971
-
- Article
-
- You have access
- Export citation
Alan Rose. An alternative generalisation of the concept of duality. Mathematische Annalen, vol. 147 (1962), pp. 318–327.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 690-691
- Print publication:
- December 1971
-
- Article
- Export citation
Sheila A. Greibach. The unsolvability of the recognition of linear context-free languages. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 582–587.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 693
- Print publication:
- December 1971
-
- Article
- Export citation
Alonzo Church. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest1965, pp. 21–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 692-693
- Print publication:
- December 1971
-
- Article
- Export citation
Leslie H. Tharp. On a set theory of Bernays. The journal of symbolic logic, vol. 32 (1967), pp. 319–321.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1971
-
- Article
- Export citation
Robert W. Floyd. A note on mathematical induction on phrase structure grammars. Information and control, vol. 4 (1961), pp. 353–358.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-694
- Print publication:
- December 1971
-
- Article
- Export citation
Judith Schoenberg. Belief and intention in the Epimenides. Philosophy and phenomenological research, vol. 30 no. 2 (1969), pp. 270–278.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 671-672
- Print publication:
- December 1971
-
- Article
- Export citation
Kurt Hauschild. Eine Bemerkung zum Mengenbildungsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 9–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 681-682
- Print publication:
- December 1971
-
- Article
- Export citation
Reviews - Fred Sommers. The ordinary language tree. Mind, n.s. vol. 68 (1959), pp. 160–185. - Fred Sommers. Predicability. Philosophy in America, edited by Max Black, Cornell University Press, Ithaca1965, pp. 262–281. - L. R. Reinhardt. Dualism and categories. Proceedings of the Aristotelian Society, n.s. vol. 66 (1965), pp. 71–92. - David Massie. Sommers' tree theory, a reply to de Sousa. The Journal of philosophy, vol. 64 (1967), pp. 185–193. - Susan Haack. Equivocality, a discussion of Sommers' views. Analysis (Oxford), vol. 28 no. 5 (1968), pp. 159–165. - R. van Straaten. Sommers' rule and equivocality. Analysis (Oxford), vol. 29 no. 2 (1968), pp. 58–61. - Dan Passell. On Sommers' logic of sense and nonsense. Mind, n.s. vol. 78 (1969), pp. 132–133. - A. G. Elgood. Sommers' rules of sense. The philosophical quarterly, vol. 20 (1970), pp. 166–169.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 666-670
- Print publication:
- December 1971
-
- Article
- Export citation
Deducibility and many-valuedness
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-622
- Print publication:
- December 1971
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 711-752
- Print publication:
- December 1971
-
- Article
- Export citation