Reviews
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
Mary Prior and Arthur Prior. Erotetic logic. The philosophical review, vol. 64 (1955), pp. 43–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Alan Ross Anderson. Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M. The journal of symbolic logic, vol. 19 (1954), pp. 201–214. - Alan Ross Anderson. Correction to a paper on modal logic. The journal of symbolic logic, vol. 20 (1955), p. 150. - Alan Ross Anderson. On alternative formulations of a modal system of Feysvon Wright. The journal of computing systems, vol. 1 no. 4 (1954), pp. 211–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
-
- 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
Hao Wang. Arithmetic models for formal systems. Methodos, vol. 3 (1951), pp. 217–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
Takeo Sugihara. Strict implication free from implicational paradoxes. Memoirs of the Faculty of Liberal Arts, Fukui University, ser. 1 no. 4 (1955), pp. 55–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- 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
H. Rasiowa. A proof of the compactness theorem for arithmetical classes. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 8–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
Bolesław Sobociński. Axiomatization of a conjunctive-negative calculus of propositions. The journal of computing systems, vol. 1 no. 4 (1954), pp. 229–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-304
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. Algebraic treatment of the notion of satisfiability. Fundamenta mathematicae, vol. 40 (1953), pp. 62–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
-
- 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
Anonymous. Problemas de “Theoria.” Problema n.° I.Theoria (Madrid), vol. 1 no. 1 (1952), p. 7.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 21–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
-
- 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
Karl R. Popper. Degree of confirmation. The British journal for the philosophy of science, vol. 5 (1954–1955), pp. 143–149. - K. R. Popper. Errata and corrigenda. The British journal for the philosophy of science, vol. 5 (1954–1955), p. 359.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-305
-
- Article
- Export citation
W. Peremans. Metamathematische beschouwingen over de algebra (Metamathematical consideration of algebra). Mimeographed. Mathematisch Centrum, Amsterdam, Rapport ZW1951, 026, 8 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-308
-
- Article
- Export citation
Reviews
John Myhill. The hypothesis that all classes are nameable. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 979–981.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
-
- 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