13629 results in The Journal of Symbolic Logic
William W. Boone and Hartley Rogers Jr. On a problem of J. H. C. Whitehead and a problem of Alonzo Church. Mathematica Scandinavica, vol. 19 (1966), pp. 185–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 506-507
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Nonfinitizability of classes of representable cylindric algebras1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-343
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Sze-Tsen Hu. Elementary functions and coordinate geometry. Markham Publishing Company, Chicago1969, xvii + 349 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Yen-Yi Wu. Shu hsüeh chia huei pu huei pei chi ch'i tai t'i (Can the mathematician be replaced by a machine?). K'o hsüeh chiao yü (Science education), vol. 11 no. 3 (1965), pp. 33–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- 17 November 1969
-
- Article
- Export citation
J. C. E. Dekker. Regressive isols. 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. 272–296.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Logic with truth values in A linearly ordered heyting algebra1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-408
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Gilbert Baumslag, W. W. Boone, and B. H. Neumann. Some unsolvable problems about elements and subgroups of groups. Mathematica Scandinavica, vol. 7 (1959), pp. 191–201.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 506
- Print publication:
- 17 November 1969
-
- Article
- Export citation
The degrees of hyperhyperimmune sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 489-493
- Print publication:
- 17 November 1969
-
- Article
- Export citation
J. Santos and H. Arango. La operación puente en las álgebras de Boole. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 25–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Katuzi Ono. On universal character of the primitive logic. Nagoya mathematical journal, vol. 27 (1966), pp. 331–353.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
- Print publication:
- 17 November 1969
-
- Article
- Export citation
C. C. Chang and A. Horn. On the representation of α-complete lattices. Fundamenta mathematicae, vol. 51 (1962), pp. 253–258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-513
- Print publication:
- 17 November 1969
-
- Article
- Export citation
E, R AND γ
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-474
- Print publication:
- 17 November 1969
-
- Article
- Export citation
On the model theory of denumerably long formulas with finite strings of quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 437-459
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Annals of mathematical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 532
- Print publication:
- 17 November 1969
-
- Article
- Export citation
David Pager. An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 131–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- 17 November 1969
-
- Article
- Export citation
J. Dopp. Logiques construites par une méthode de déduction naturelle. Collection de logique mathématique, Série B, no. 3, E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1962, 191 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 502
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Ivan Boh. An examination of Ockham's aretetic logic. Archiv für Geschichte der Philosophie, vol. 45 (1963), pp. 259–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 499
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Bertrand Russell. My mental development. A reprint of IX 82(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 1–20; also third edition, Tudor Publishing Company, New York 1951, pp. 1-20; also paper-bound reprint of the third edition, Harper Torchbooks, Harper & Row, Publishers, New York, Evanston, and London, 1963, Vol. I, pp. 1-20. - Hans Reichenbach. Bertrand Russell's logic. A reprint of IX 76(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 21–54; also ibid. 1951, pp. 21-54; also ibid. 1963, Vol. I, pp. 21-54. - Morris Weitz. Analysis and the unity of Russell's philosophy. A reprint of IX 77(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 55–121; also ibid. 1951, pp. 55-121; also ibid. 1963, Vol. I, pp. 55-121. - Kurt Göde. Russell's mathematical logic. A reprint of XI 75. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 123–153; also ibid. 1951, pp. 123-153; also ibid. 1963, Vol. I, pp. 123-153. - James Feibleman. A reply to Bertrand Russell's introduction to the second edition of The principles of mathematics. A reprint of IX 77(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 155–174; also ibid. 1951, pp. 155-174; also ibid. 1963, Vol. I, pp. 155-174. - G.E. Moore. Russell's “theory of descriptions.” A reprint of IX 78(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 175–225; also ibid. 1951, pp. 175-225; also ibid. 1963, Vol. I, pp. 175-225. - Max Black. Russell's philosophy of language. A reprint of IX 78(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 227–255; also ibid. 1951, pp. 227-255; also ibid. 1963, Vol. I, pp. 227-255. - Philip P. Wiener. Method in Russell's work on Leibniz. A reprint of IX 82(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 257–276; also ibid. 1951, pp. 257-276; also ibid. 1963, Vol. I, pp. 257-276. - Ernest Nagel. Russell's philosophy of science. A reprint of IX 79. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 317–349; also ibid. 1951, pp. 317-349; also ibid. 1963, Vol. I, pp. 317-349. - Andrew Paul Ushenko. Russell's critique of empiricism. A reprint of IX 80. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 385–417; also ibid. 1951, pp. 385-417; also ibid. 1963, Vol. I, pp. 385-417.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 495-496
- Print publication:
- 17 November 1969
-
- Article
- Export citation
J. C. E. Dekker. Good choice sets. Annali della Scuola Normale Superiore di Pisa, scienze fisiche e mathematiche, series 3 vol. 20 (1966), pp. 367–393. - J. C. E. Dekker. The recursive equivalence type of a class of sets. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 628–632.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-519
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Katuzi Ono. A formalism for primitive logic and mechanical proof-checking.Nagoya mathematical journal, vol. 26 (1966), pp. 195–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
- Print publication:
- 17 November 1969
-
- Article
- Export citation