13629 results in The Journal of Symbolic Logic
Haskell B. Curry. Leçons de logique algébrique. With a preface by Robert Feys. Collection de logique mathématique, série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1952, 163 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
- Print publication:
- June 1954
-
- Article
- Export citation
Tadeusz Kotarbiński. Kurs logiki dla prawników (A course in logic for law students). Państwowe Wydawnictwo Naukowe, Warsaw1953, 194 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
Hiromiti Takeda and Keigo Abe. Ronrigaku nyûmon. Ronrigaku to ronrizan. (Introduction to logic. Logic and logistic.) Minerva, Kyoto1949, iv + 172 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- June 1954
-
- Article
- Export citation
JSL volume 19 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1954
-
- Article
-
- You have access
- Export citation
Willard Van Orman Quine. Logic and the vesication of universals. Front a logical point of view, by Willard Van Orman Quine, Harvard University Press, Cambridge, Mass., 1953, pp. 102–129.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
- Print publication:
- June 1954
-
- Article
- Export citation
Gene F. Rose. Propositional calculus and realizability. Transactions of the American Mathematical Society, vol. 75 (1953), pp. 1–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
- Print publication:
- June 1954
-
- Article
- Export citation
F. H. Heinemann. Meta-analysis (Résumé). Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 124–131. See corrigendum, ibid., Volume XIV, p. 328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- June 1954
-
- Article
- Export citation
John D. Goodell. Notes on decision element systems using various practical techniques. The journal of computing systems, vol. 1 no. 3 (1953), pp. 196–199.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
- Print publication:
- June 1954
-
- Article
- Export citation
Raili Kauppi. Über den Begriff des Merkmalraumes. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 38–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- June 1954
-
- Article
- Export citation
Andrzej Mostowski. Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1952, VIII + 117 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-121
- Print publication:
- June 1954
-
- Article
- Export citation
JSL volume 19 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1954
-
- Article
-
- You have access
- Export citation
J. C. E. Dekker. The constructivity of maximal dual ideals in certain Boolean algebras. Pacific journal of mathematics, vol. 3 (1953), pp. 73–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
- Print publication:
- June 1954
-
- Article
- Export citation
Arnold Schmidt. Zum Verhältnis von Existenz und Widerspruchsfreiheit. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, S. 205–207.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- June 1954
-
- Article
- Export citation
H. G. Rice. Classes of recursively enumerable sets and their decision problems. Transactions of the American Mathematical Society, vol. 74 (1953) pp. 358–366.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
- Print publication:
- June 1954
-
- Article
- Export citation
Ryôiti Takekuma. Brouwer no ronri (Brouwerian logic). Zinbun kenkyû (Otaru), no. 6 (1953), pp. 35–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- June 1954
-
- Article
- Export citation
Erik Götlind. A note on Chwistek and Helper's foundation of formal metamathematics. Den 11te Skandinaviske Matematikerkongress i Trondheim 22-25 August 1949, Johan Grundt Tanums Forlag, Oslo1952, pp. 268–270.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
- Print publication:
- June 1954
-
- Article
- Export citation
Karl Aschenbrenner. Intention and understanding. Meaning and interpretation (University of California publications in philosophy, vol. 25), University of California Press, Berkeley and Los Angeles1950, pp. 229–270.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
- Print publication:
- June 1954
-
- Article
- Export citation
Elections
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
- Print publication:
- June 1954
-
- Article
- Export citation
Jean Ladrière. Le rôle du théoréme de Gödel dans le développement de la théorie de la démonstration. Revue philosophique de Louvain, vol. 47 (1949), pp. 469–492. - Jean Ladrière. Rationnel et irrationnel en mathématique. Revue philosophique de Louvain, vol. 48 (1950), pp. 37–62. - Jean Ladrière. Le théorème fondamental de Gentzen. Revue philosophique de Louvain, vol. 49 (1951), pp. 357–384.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
- Print publication:
- June 1954
-
- Article
- Export citation
A. N. Prior. The paradoxes of derived obligation. Mind, n.s. vol. 63 (1954), pp. 64–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
- Print publication:
- June 1954
-
- Article
- Export citation