13629 results in The Journal of Symbolic Logic
D. van Dantzig. Comments on Brouwer's theorem on essentially-negative predicates. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 (1949), pp. 949–957; also Indagationes mathematicae vol. 11 (1949), pp. 347–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
- Print publication:
- June 1956
-
- Article
- Export citation
Arithmetical representation of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-186
- Print publication:
- June 1956
-
- Article
- Export citation
L. J. Russell. A problem of Lewis Carroll. Mind, n.s. vol. 60 (1951), pp. 394–396. Corrigenda, ibid., n.s. vol. 61 (1952), p. 136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
- Print publication:
- June 1956
-
- Article
- Export citation
Calvin C. Elgot. On single vs. triple address computing machines. Journal of the Association for Computing Machinery, vol. 1 no. 3 (1954), pp. 119–123.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 208-209
- Print publication:
- June 1956
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
- Print publication:
- June 1956
-
- Article
- Export citation
Twentieth meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-223
- Print publication:
- June 1956
-
- Article
- Export citation
A new approach to semantics – Part II1
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-161
- Print publication:
- June 1956
-
- Article
- Export citation
Franz Hohn. Some mathematical aspects of switching. The American mathematical monthly, vol. 62 (1955), pp. 75–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-210
- Print publication:
- June 1956
-
- Article
- Export citation
B. A. Trahténbrot. Tabličnoé prédstavlénié rékursivnyh opératorov (Matrix representation of recursive operators). Doklady Akadémii Nauk SSSR, vol. 101 (1955), pp. 417–420.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-208
- Print publication:
- June 1956
-
- Article
- Export citation
Arthur Pap. Logic, existence, and the theory of descriptions. Analysis (Oxford), vol. 13 no. 5 (1953), pp. 97–111. - Donald Kalish. Mr. Pap on logic, existence, and descriptions. Analysis (Oxford), vol. 15 no. 3 (1955), pp. 61–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 206
- Print publication:
- June 1956
-
- Article
- Export citation
Susanne K. Langer. An introduction to symbolic logic. Second edition (revised). Dover Publications, New York1953, 367 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- June 1956
-
- Article
- Export citation
N. L. Wilson. Symposium: What is a rule of language?Science, language, and human rights (American Philosophical Association, Eastern Division, Volume 1), University of Pennsylvania Press, Philadelphia1952, pp. 87–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 202-203
- Print publication:
- June 1956
-
- Article
- Export citation
On the definition of ‘formal deduction’1
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-136
- Print publication:
- June 1956
-
- Article
- Export citation
Norman M. Martin. The Sheffer functions of 3-valued logic. The journal of symbolic logic, vol. 19 (1954), pp. 45–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
- Print publication:
- June 1956
-
- Article
- Export citation
Sigekatu Kuroda. Sûgaku no tyokkansei to sono mu-muzyunsei ni tuite (Intuition and consistency in mathematics). Kisokagaku, vol. 1 no. 2 (1947), pp. 33–44. - Sigekatu Kuroda. Aristotle no ronri to Brouwer no ronri ni tuite (On the logic of Aristotle and the logic of Brouwer). Kagaku, vol. 18 no. 1 (1948), pp. 2–10. - Sigekatu Kuroda. Intuitionistische Untersuchungen der formalistischen Logik. Nagoya mathematical journal, vol. 2 (1951), pp. 35–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 196
- Print publication:
- June 1956
-
- Article
- Export citation
S. Okada. Topology applied to switching circuits. Proceedings of the Symposium on Information Networks, sponsored by the Polytechnic Institute of Brooklyn Microwave Research Institute, in cooperation with the Institute of Radio Engineers Professional Group on Circuit Theory, and co-sponsored by the Office of Naval Research, the Office of Scientific Research of the Signal Corps, New York, N.Y., April 12, 13, 14, 1954, New York1955, pp. 267–290.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-211
- Print publication:
- June 1956
-
- Article
- Export citation
JSL volume 21 issue 2 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- June 1956
-
- Article
-
- You have access
- Export citation
Nicholas Rescher. Leibniz's interpretation of his logical calculi. The journal of symbolic logic, vol. 19 (1954), pp. 1–13. See Errata, ibid., p. vi.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-199
- Print publication:
- June 1956
-
- Article
- Export citation
E. W. Beth. On Padoa's method in the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), pp. 330–339; also Indagationes mathematicae, vol. 15 (1953), pp. 330–339.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
- Print publication:
- June 1956
-
- Article
- Export citation
R. A. Rosenbaum. Remark on equivalence relations. The American mathematical monthly, vol. 62 (1955), p. 650.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
- Print publication:
- June 1956
-
- Article
- Export citation