13629 results in The Journal of Symbolic Logic
V. I. Šéstakov. Matématičéskaá logika i avtomatika (Mathematical logic and automation). Matématika v školé, no. 6 (1958), pp. 4–20, and no. 1 (1959), pp. 19–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 51
- Print publication:
- March 1964
-
- Article
- Export citation
Gonzalo Zubieta R. Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 (1957), pp. 45–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-56
- Print publication:
- March 1964
-
- Article
- Export citation
Reviews - Robert R. Stoll. Set theory and logic. W. H. Freeman and Company, San Francisco and London1963, xiv + 474 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 40-41
- Print publication:
- March 1964
-
- Article
- Export citation
William H. Halberstadt. An introduction to modern logic. An elementary textbook of symbolic logic. Harper & Brothers, New York1960, xii + 221 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 43
- Print publication:
- March 1964
-
- Article
- Export citation
Arthur Smullyan. Fundamentals of logic. Prentice-Hall, Inc., Englewood Cliffs, N. J., 1962, 131 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-43
- Print publication:
- March 1964
-
- Article
- Export citation
Antonio Monteiro. Normalidad en las álgebras de Heyting monádicas. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 50–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 54-55
- Print publication:
- March 1964
-
- Article
- Export citation
Y. Bar-Hillel. Comment on the first issue of MULL, MULL, vol. 59 no. D (for 1959, pub. 1960), p. 50. - Patricia James. Reply to Bar-Hillel. MULL, vol. 59 no. D (for 1959, pub. 1960), pp. 50–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 47
- Print publication:
- March 1964
-
- Article
- Export citation
Patricia A. James. Mechanization of a tax code. MULL, vol. 59 no. S (1959), pp. 1–3.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 46-47
- Print publication:
- March 1964
-
- Article
- Export citation
Henry B. Veatch. Formalism and /or intentionality in logic. A reprint, with some omissions, of XXIII 91. Essays in logic from Aristotle to Russell, selected and edited by Ronald Jager, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1963, pp. 149–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1964
-
- Article
- Export citation
Two additions to positive implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-32
- Print publication:
- March 1964
-
- Article
- Export citation
Lewis Carroll. What the tortoise said to Achilles. A reprint of 673. Essays in logic from Aristotle to Russell, selected and edited by Ronald Jager, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1963, pp. 84–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1964
-
- Article
- Export citation
Layman E. Allen. Symbolic logic: A razor-edged tool for drafting and interpreting legal documents. Yale law journal, vol. 66 (1957), pp. 833–879. - Layman E. Allen and Gabriel Orechkoff. Toward a more systematic drafting and interpreting of the internal revenue code: Expenses, losses and bad debts. The University of Chicago law review, vol. 25 (1957), pp. 1–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-44
- Print publication:
- March 1964
-
- Article
- Export citation
Leon Leblanc. Duality for Boolean equalities. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 74–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
- Print publication:
- March 1964
-
- Article
- Export citation
Bertrand Russell. Aristotle's logic. A reprint of Chapter XXII of A history of Western philosophy (XIV 207). Essays in logic from Aristotle to Russell, selected and edited by Ronald Jager, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1963, pp. 139–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1964
-
- Article
- Export citation
Systems of predicative analysis1
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-30
- Print publication:
- March 1964
-
- Article
- Export citation
Antonio Monteiro and Oscar Varsavsky. Algebras de Heyting monádicas. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 52–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
- Print publication:
- March 1964
-
- Article
- Export citation
Gilbert Ryle. Formal and informal logic. Reprint of a portion of XX 301. Essays in logic from Aristotle to Russell, selected and edited by Ronald Jager, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1963, pp. 167–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
- Print publication:
- March 1964
-
- Article
- Export citation
M. L. Cétlin. Priménénié matričnogo isčislénií k sintézu réléjno-kontaktnyh shém (Use of matrix calculus to synthesize relay-switching circuits). Doklady Akadémii Nauk SSSR, vol. 86 (1952), pp. 525–528.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 51
- Print publication:
- March 1964
-
- Article
- Export citation
Gerald E. Sacks. On the degrees less than 0′. Annals of mathematics, second series, vol. 77 (1963), pp. 211–231. - Gerald E. Sacks. Correction to “On the degrees less than 0′.”Annals of mathematics, second series, vol. 78 (1963), p. 204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
- Print publication:
- March 1964
-
- Article
- Export citation
Stanisław Kamiński. Hobbesa teoria definicji (Hobbes' theory of definition). Polish, with Russian and English summaries. Studia logica, vol. 7 (1958), pp. 43–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 49
- Print publication:
- March 1964
-
- Article
- Export citation