13629 results in The Journal of Symbolic Logic
E. C. Varnum. Relay circuit analysis by odd-even algebra. Machine design, vol. 21 no. 12 (1949), pp. 137–139, 192–193. - E. C. Varnum. Three-relay circuits. Machine design, vol. 23 no. 2 (1951), pp. 121–124, 192, 194–196, 198. - E. C. Varnum. Polynomial determination in a field of integers modulo P. The journal of computing systems, vol. 1 no. 2 (1953), pp. 57–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 233
- Print publication:
- September 1954
-
- Article
- Export citation
Kalman Joseph Cohen. A remark on Łukasiewicz's “On the intuitionistic theory of deduction.”Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), pp. 111–112; also Indagationes mathematicae, vol. 15 (1953), pp. 111–112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
- Print publication:
- September 1954
-
- Article
- Export citation
Makoto Itô. Yôsô ronrigaku no kenkyû (A study of modal logic). Kisokagaku, vol. 3 no. 7 (1949), pp. 434–440.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- September 1954
-
- Article
- Export citation
John P. Fairfax. Letter. Astounding science fiction, vol. 53 no. 1 (1954), pp. 143–145. - David H. Milbauer. Letter. Astounding science fiction, vol. 53 no. 1 (1954), p. 148. [Cf. XIX 131(2).] - Anonymous. Professor builds ‘thinking machine’ to test laws of logic. The New York times, vol. 103, 03 8, 1954, p. 21.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 236
- Print publication:
- September 1954
-
- Article
- Export citation
Willard V. Quine. On what there is. Aristotelian Society supplementary volume XXV, London1951, Appendix, 18 pp. unnumbered. [A reprint of XV 152(2).] - Peter Thomas Geach. Symposium: On what there is. I. Aristotelian Society supplementary volume XXV, London1951 pp. 125–136. - A. J. Ayer. Symposium: On what there is. II. Aristotelian Society supplementary volume XXV, London1951 pp. 137–148. - W. V. Quine. Symposium: On what there is. III. Aristotelian Society supplementary volume XXV, London1951 pp. 149–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
- Print publication:
- September 1954
-
- Article
- Export citation
A partial model for Quine's “New foundations”
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-200
- Print publication:
- September 1954
-
- Article
- Export citation
W. C. Carter and A. S. Rettig. Analytic minimization methods I: Conjunctive forms. The journal of computing systems, vol. 1 no. 3 (1953), pp. 179–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-233
- Print publication:
- September 1954
-
- Article
- Export citation
Leo Apostel. Modalités physiques et techniques. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 97–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 230
- Print publication:
- September 1954
-
- Article
- Export citation
Arthur Pap. Rejoinder to Mrs. Robbins. Philosophical studies, vol. 4 (1953), pp. 63–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
- Print publication:
- September 1954
-
- Article
- Export citation
JSL volume 19 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1954
-
- Article
-
- You have access
- Export citation
A generalization of the concept of ω-consistency1
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-196
- Print publication:
- September 1954
-
- Article
- Export citation
G. Kreisel. On a problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), pp. 405–406; also Indagationes mathematicae, vol. 15 (1953), pp. 405–406.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-220
- Print publication:
- September 1954
-
- Article
- Export citation
Tameharu Shirai. On the pseudo-set. Memoirs of the College of Science, Kyoto Imperial University, series A, vol. 20 no. 4 (1937), pp. 153–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
- Print publication:
- September 1954
-
- Article
- Export citation
Quantification and the empty domain
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-179
- Print publication:
- September 1954
-
- Article
- Export citation
Alonzo Church. Non-normal truth-tables for the propositional calculus. Boletin de la Sociedad Matemática Mexicana, vol. 10 no. 1–2 (1953), pp. 41–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-234
- Print publication:
- September 1954
-
- Article
- Export citation
F. J. McGuigan. Formalization of psychological theory. Psychological review, vol. 60 (1953), pp. 377–382.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 229
- Print publication:
- September 1954
-
- Article
- Export citation
D. Hilbert and W. Ackermann. Kigô ronrigaku no kiso. Japanese translation of XV 59(1) by Makoto Itô. Ôsaka Kyôiku Tosyo Kabusiki Kaisya, Tokyo and Osaka1954, 10 + 207 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- September 1954
-
- Article
- Export citation
Jan Łukasiewicz. Comment on K. J. Cohen's remark. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), p. 113; also Indagationes mathematicae, p. 113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
- Print publication:
- September 1954
-
- Article
- Export citation
Kazimierz Ajdukiewicz. Zarys logiki. Książka pomocnicza dla nauczyciela. (An outline of logic. Manual for teachers.) Państwowe Zakłady Wydawnictw Szkolnych, Warsaw1953, 188 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- September 1954
-
- Article
- Export citation
Shmuel Hugo Bergmann. מבוא לתורת ההיגיון (Introduction to logic). Bialik Institute, Jerusalem1953, xviii + 466 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
- Print publication:
- June 1954
-
- Article
- Export citation