Reviews
Paul Bernays. Logique et science. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 1–5.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
-
- Article
- Export citation
John Myhill. A system which can define its own truth. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 190–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 319
-
- Article
- Export citation
R. Harré. A note on existence propositions. The philosophical review, vol. 65 (1956), pp. 548–549.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 384
-
- Article
- Export citation
Tadeusz Czeżowski. On certain peculiarities of singular propositions. Mind, n.s. vol. 64 (1955), pp. 392–395.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
-
- Article
- Export citation
Avrum Stroll. A problem concerning the analysis of belief sentences. Analysis (Oxford), vol. 14 no. 1 (1953), pp. 15–19. - W. W. Mellor. Believing the meaningless. Analysis, vol. 15 no. 2 (1954), pp. 41–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 384
-
- Article
- Export citation
Paul Carl Gilmore. The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. English with Dutch Samenvatting. Dissertation Amsterdam 1953, viii + 25 pp. - P. C. Gilmore. The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. The same paper with omission of the preface and the Dutch summary. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), pp. 162–186; also Indagationes mathematicae, vol. 15 (1953), pp. 162–186.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
-
- Article
- Export citation
A. A. Markov. O népréryvnosti konstruktivnyh funkcij (On the continuity of constructive functions). Uspéhi matématičéskih nauk, vol. 9 no. 3 (1954), pp. 226–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-320
-
- Article
- Export citation
W. T. GuyJr, On equivalence relations. The American mathematical monthly, vol. 62 (1955), pp. 179–180.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
-
- Article
- Export citation
Ú. T. Médvédév. Stépéni trudnosti massovyh problém (Degrees of difficulty of mass problems). Doklady Akadémii Nauk SSSR, vol. 104 (1955), pp. 501–504.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
-
- Article
- Export citation
P. G. J. Vredenduin. The logic of negationless mathematics. Compositio mathematica, vol. 11 no. 3 (1954), pp. 204–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
-
- Article
- Export citation
Virgil C. Aldrich. Mr. Quine on meaning, naming, and purporting to name. Philosophical studies, vol. 6 (1955), pp. 17–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 384-385
-
- Article
- Export citation
R. M. Martin. On the Berkeley-Russell theory of proper names. Anglais avec résumé espagnol. Philosophy and phenomenological research, t. 13 n° 2 (1952), p. 221–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-386
-
- Article
- Export citation
P. C. Gilmore. Griss' criticism of the intuitionistic logic and the theory of order. 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. 98–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-94
-
- Article
- Export citation
Kurt Bing. On arithmetical classes not closed under direct union. Proceedings of the American Mathematical Society, vol. 6 (1955), pp. 836–846.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
-
- Article
- Export citation
R. A. Rosenbaum. Remark on equivalence relations. The American mathematical monthly, vol. 62 (1955), p. 650.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
-
- Article
- Export citation
Y. Bar-Hillel. Bolzano's propositional logic. Archiv für Philosophie, t. 4 n° 3 (1952), p. 305–338; aussi Archiv für mathematische Logik und Grundlagenforschung, t. 1 n° 3 (1952), p. 65–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 386-387
-
- Article
- Export citation
Irving M. Copi and Frank Harary. Some properties of n-adic relations. Portugaliae mathematica, vol. 12 no. 4 (for 1953, pub. 1954), pp. 143–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-208
-
- Article
- Export citation
Zyoiti Suetuna. Über die Grundlagen der Mathematik. Journal of the Mathematical Society of Japan, vol. 3 no. 1 (1951), pp. 59–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
-
- Article
- Export citation