Contents
Reviews
Leo Simons. New axiomatizations of S3 and S4. The journal of symbolic logic, vol. 18 (1953), pp. 309–316.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
-
- Article
- Export citation
E. W. Beth. A topological proof of the theorem of Löwenheim-Skolem-Gödel. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 436–444; also Indagationes mathematicae, vol. 13 (1951), pp. 436–444.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
-
- Article
- Export citation
E. W. Beth. Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., vol. 56 (1953), pp. 66–71; and Ibid., vol. 15 (1953), pp. 66–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-62
-
- Article
- Export citation
Ruth Barcan Marcus. Strict implication, deducibility, and the deduction theorem. The journal of symbolic logic, vol. 18 (1953), pp. 234–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
Gerhard Frey. Bemerkungen zum Problem der mehrwertigen Logiken. 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. 53–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
Benson Mates. Synonymity. Meaning and interpretation (University of California publications in philosophy, vol. 25), University of California Press, Berkeley and Los Angeles1950, pp. 201–226.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 223
-
- Article
- Export citation
S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-63
-
- Article
- Export citation
R. Feys. Oudere en nieuwe modaliteitenlogica (Old and new logic of modalities). Handelingen van het Negentiende Vlaamse Filologencongres, Brussels1951, pp. 284–289.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
S. Körner. The nature of philosophical analysis. 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. 121–123.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
B. L. Robbins. Some remarks on semantic systems. Philosophical studies, vol. 4 (1953), pp. 24–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-224
-
- Article
- Export citation
Hao Wang and Robert McNaughton. Les systèmes axiomatiques de la théorie des ensembles. With a preface by P. Destouches-Février. Collection de logique mathématique, série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1953, 55 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
A. N. Prior. Three-valued logic and future contingents. The philosophical quarterly (St. Andrews), vol. 3 (1953), pp. 317–326.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
Arthur Pap. Rejoinder to Mrs. Robbins. Philosophical studies, vol. 4 (1953), pp. 63–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
Alan Rose. Some self-dual primitive functions for propositional calculi. Mathematische Annalen, vol. 126 (1953), pp. 144–148.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
-
- Article
- Export citation
Carl B. Allendoerfer and Cletus O. Oakley. Principles of mathematics. Photo-offset from typewritten manuscript. McGraw-Hill Book Company, New York1953, ii + viii + 544 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
-
- Article
- Export citation
E. W. Beth. Sur la description de certains modèles d'un système formel. 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. 64–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
-
- Article
- Export citation