13629 results in The Journal of Symbolic Logic
Joseph Dopp. Leçons de logique formelle. Première partie. Logique aticienne. La logique desjugements prédicatifs. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1949, XI + 166 pp. - Joseph Dopp. Leçons de logique formelle. Deuxième partie. Logique moderne I. Le calcul des propositions inanalysées. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1950, XI + 216 pp. - Joseph Dopp. Leçons de logique formelle. Troisième partie. Logique moderne II. Logique des propositions à une ou plusieurs mentions d'objets. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1950, XVI + 274 pp. [Therein: Addenda et corrigenda to the first and second parts, pp. 272–274.] - Joseph Dopp. Table des formules. Leçons de logique formelle, II et III, Annexe. Éditions de l'lnstitut Supérieur de Philosophie, Louvain, 15 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
- Print publication:
- September 1953
-
- Article
- Export citation
Alonzo Church and W. V. Quine. Some theorems on definability and decidability. The journal of symbolic logic, vol. 17 (1952), pp. 179–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
- Print publication:
- September 1953
-
- Article
- Export citation
William Craig and W. V. Quine. On reduction to a symmetric relation. The journal of symbolic logic, vol. 17 (1952), p. 188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
- Print publication:
- September 1953
-
- Article
- Export citation
Paul C. Rosenbloom. The elements of mathematical logic. Dover Publications, Inc., New York, 1951, 6 + iv + 214 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-280
- Print publication:
- September 1953
-
- Article
- Export citation
A. D. Aléksandrov. Léninskaá dialéktika i matématika (Leninist dialectic and mathematics). Priroda (Leningrad), no. 1 (1951), pp. 5–15. - A. D. Aléksandrov. Ob idéalizmé v matématiké (On idealism in mathematics). Priroda, no. 7 (1951), pp. 3–11, and no. 8 (1951), pp. 3–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
- Print publication:
- September 1953
-
- Article
- Export citation
Gustav Lebzeltern. Die vier “ungültigen” Modi: Darapti, Felapton, Bamalip, Fesapo. Zeitschrift für philosophische Forschung, vol. 5(1950–1951), pp. 220–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
- Print publication:
- September 1953
-
- Article
- Export citation
Bolesław Sobociński. On a universal decision element. The journal of computing systems, vol. 1 no. 2 (1953), pp. 71–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
- Print publication:
- September 1953
-
- Article
- Export citation
A. A. Markov. Konstruktivnaá logika (A constructive logic). Uspéhi matematičéskih nauk, vol. 5 no. 3 (1950), pp. 187–188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 257
- Print publication:
- September 1953
-
- Article
- Export citation
Paul Lorenzen. Gleichheit und Ungleichheit in der Arithmetik. Mathematische Nachrichten, Bd. 1 (1948), S. 337–341.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 260
- Print publication:
- September 1953
-
- Article
- Export citation
Systems of modal logic which are not unreasonable in the sense of Halldén
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-113
- Print publication:
- June 1953
-
- Article
- Export citation
Nelson Goodman. New notes on simplicity. The journal of symbolic logic, vol. 17 (1952), pp. 189–191.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- June 1953
-
- Article
- Export citation
G. Kreisel. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 265–285.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
- Print publication:
- June 1953
-
- Article
- Export citation
Some formal relative consistency proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-144
- Print publication:
- June 1953
-
- Article
- Export citation
S. I. Hayakawa. Semantics. ETC.: A review of general semantics, vol. 9 no. 4 (1952), pp. 243–257. - Anatol Rapoport. What is semantics?ETC.: A review of general semantics, vol. 10 no. 1 (1952), pp. 12–24. A reprint of XVII 216. - Norman M. Martin. Review of Hayakawa's Language in thought and action. Synthese, vol. 8 (1950–1952), pp. 93–94. - Edward V. Huntington and Christine Ladd-Franklin. Logic, Symbolic. The encyclopedia Americana, 1952 edn., Americana Corporation, New York and Chicago1952, vol. 17, pp. 568–573.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
- Print publication:
- June 1953
-
- Article
- Export citation
Fifteenth meeting of the association for symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- June 1953
-
- Article
- Export citation
S. C. Kleene. Recursive functions and intuitionistic mathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 679–685.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
- Print publication:
- June 1953
-
- Article
- Export citation
Arthur W. Burks. The logic of programming electronic digital computers. Industrial mathematics (Detroit), vol. 1 (1950), pp. 36–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- June 1953
-
- Article
- Export citation
Rudolf Carnap. The continuum of inductive methods. The University of Chicago Press, Chicago1952, v + 92 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
- Print publication:
- June 1953
-
- Article
- Export citation
Einar Hille. Such stuff as dreams are made on — in mathematics. American scientist, vol. 41 (1953), pp. 106–112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
- Print publication:
- June 1953
-
- Article
- Export citation
Maria Kokoszyńska. What means “relativity of truth”?Stadia philosophica (Poznań), vol. 3 (for 1939–46, pub. 1948), pp. 167–176. - Maria Kokoszyńska. A refutation of the relativism of truth. Stadia philosophica (Poznań), vol. 4 (for 1949–50, pub. 1951), pp. 93–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
- Print publication:
- June 1953
-
- Article
- Export citation