Reviews
Leon Henkin. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 (1953), pp. 410–427.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
-
- Article
- Export citation
W. Peremans. Some theorems on free algebras and on direct products of algebras. Simon Stevin, vol. 29 (1952), pp. 51–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
E. W. Beth. Sur le parallélisme logico-mathématique. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 27–32. - Paul Bernays, E. W. Beth, Abraham Robinson. Discussion. Ibid., pp. 32–33.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 73–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
A. Châtelet. Allocution d'ouverture. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. XIII. - L. E. J. Brouwer. Discours final. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 75. - Abraham Robinson. On axiomatic systems which possess finite models. Methodos, vol. 3 (1951), pp. 140–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Heinrich Guggenheimer. Ueber ein bemerkenswertes logisches System aus der Antike. Methodos, vol. 3 (1951), pp. 150–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 186-187
-
- Article
- Export citation
Arthur Pap. Reduction-sentences and open concepts. Methodos, vol. 5 (1953), pp. 3–28. - A. Caracciolo and V. Somenzi. Discussione. English. Methodos, vol. 5 (1953), p. 29. - A. Pap. Reply. Methodos, vol. 5 (1953), pp. 29–30.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
-
- Article
- Export citation
Hans Reichenbach. On observing and perceiving. Philosophical studies, vol. 2 (1951), pp. 92–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
-
- Article
- Export citation
Rudolf Carnap. Meaning postulates. Philosophical studies, vol. 3 (1952), pp. 65–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
-
- Article
- Export citation
John G. Kemeny. A contribution to inductive logic. Philosophy and phenomenological research, vol. 13 no. 3 (1953), pp. 371–374.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 189
-
- Article
- Export citation
John G. Kemeny and Paul Oppenheim. Degree of factual support. Philosophy of science, vol. 19 (1952), pp. 307–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
-
- Article
- Export citation
Victor Kraft. Der Positivismus. Studium generale, vol. 7 (1954), pp. 73–79.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 191
-
- Article
- Export citation
Wolfgang Gröbner. Über die gegenwärtige Krise unserer Kultur. Studium generale, vol. 7 (1954), pp. 122–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 191
-
- Article
- Export citation
J. C. C. McKinsey and Patrick Suppes. Philosophy and the axiomatic foundations of physics. Actes du XIème Congrès International de Philosophie, Volume VI, Philosophie et méthodologie des sciences de la nature, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 49–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
-
- Article
- Export citation
P. T. Geach. On insolubilia. Analysis (Oxford), vol. 15 no. 3 (1955), pp. 71–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Francisco Miró Quesada. Esbozo de una teoría generulizada de las propriedades relacionales. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1172–1177.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Horacio Schindler. Filosofia y lógica simbólica. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1233–1236.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Francesco Barone. Preludi del positivismo logico. Filosofia (Turin) vol. 1 (1950), pp. 373–398.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Yehoshua Bar-Hillel. The present state of research on mechanical translation. American documentation (Cambridge, Mass.), vol. 2 (1951), pp. 229–237. - Yehoshua Bar-Hillel. Some linguistic problems connected with machine translation. Philosophy of science, vol. 20 (1953), pp. 217–225. - Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, vol. 29 (1953), pp. 47–58. - Yehoshua Bar-Hillel. Can translation be mechanized?American scientist, vol. 42 (1954), pp. 248–260.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-194
-
- Article
- Export citation
Edmund C. Berkeley. Circuit algebra—Introduction. Photo-offset from typewritten manuscript. Edmund C. Berkeley and Associates, New York1952, i + 34 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
-
- Article
- Export citation