Contents
Reviews
Robert Feys. Une théorie formalisée démontrée sans symboles. Les études philosophiques, n.s. vol. 11 (1956), pp. 3–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
-
- Article
- Export citation
Stig Kanger. On the characterization of modalities. Theoria (Lund), vol. 23 (1957), pp. 152–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 38
-
- Article
- Export citation
Martin A. Greenman. A Whiteheadian analysis of propositions and facts. English with Spanish Extracto. Philosophy and phenomenological research, vol. 13 no. 4 (1953), pp. 477–486.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
-
- Article
- Export citation
John G. Kemeny, J. Laurie Snell and Gerald L. Thompson. Introduction to finite mathematics. Prentice-Hall, Inc., Englewood Cliffs1957, xi + 372 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 439
-
- Article
- Export citation
James Wilkinson Miller. Logic workbook. Oxford University Press, New York1958, vii + 88 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
-
- Article
- Export citation
Philipp Frank. Philosophy of science. The link between science and philosophy. Prentice-Hall, Inc., Englewood Cliffs1957, xxii + 394 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-440
-
- Article
- Export citation
A. Heyting. La conception intuitionniste de la logique. Les études philosophiques, n.s. vol. 11 (1956), pp. 226–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
-
- Article
- Export citation
Günter Asser. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 1 (1955), S. 252–263.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-39
-
- Article
- Export citation
Ludwig Wittgenstein. Tractatus logico-philosophicus. With an introduction by Bertrand Russell. Spanish translation by Enrique Tierno Galvan. Revista de Occidente, Madrid1957, 213 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
-
- Article
- Export citation
Günter Asser. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 (1956), S. 250–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 39
-
- Article
- Export citation
R. Harrop. On disjunctions and existential statements in intuitionistic systems of logic. Mathematische Annalen, vol. 132 (1956), pp. 347–361.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
-
- Article
- Export citation
Marian Przełęcki. O tzw. definicjach operacyjnych. Studia logica, vol. 3 (1955), pp. 125–149. - M. Przełęcki. O tak nazyvaémyh opéracionnyh oprédéléniáh. Russian translation of the foregoing. Studia logica, vol. 3 (1955), pp. 150–178. - M. Przełęcki. On so called operational definitions. English summary. Studia logica, vol. 3 (1955), pp. 179–183.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 440-441
-
- Article
- Export citation
Wilfrid Sellars. On the logic of complex particulars. Mind, n.s. vol. 58 (1949), pp. 306–338. - Wilfrid Sellars. Particulars. English with Spanish Extracto. Philosophy and phenomenological research, vol. 13 no. 2 (1952), pp. 184–199. - William P. Alston. Particulars — bare and qualified. Philosophy and phenomenological research, vol. 15 no. 2 (1954), pp. 253–258.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 441-442
-
- Article
- Export citation
Ingebrigt Johansson. Sur le concept de “le” (ou de “ce qui”) dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 65–72. - R. Feys, Ingebrigt Johansson. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 72.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation
Günter Asser. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 (1957), S. 30–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-40
-
- Article
- Export citation
Thomas Storer. A note on empiricism. Philosophical studies (Minneapolis), vol. 4 (1953), p. 78. - Herbert Hochberg. Professor Storer on empiricism. Philosophical studies (Minneapolis), vol. 5 (1954), pp. 29–31. - David Karl Kauf. A comment on Hochberg's reply to Storer. Philosophical studies (Minneapolis), pp. 57–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
-
- Article
- Export citation
Alan Ross Anderson. Independent axiom schemata for von Wright's M. The journal of symbolic logic, vol. 22 no. 3 (1957), pp. 241–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation
Leon Henkin. A generalization of the notion of ω-consistency. The journal of symbolic logic, vol. 19 (1954), pp. 183–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 40
-
- Article
- Export citation
Paul Weiss. The paradox of necessary truth, once more. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 88–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 442
-
- Article
- Export citation
Ray H. Dotterer. Formal logic and the “fringe.”Science and society, vol. 13 no. 3 (1949), pp. 269–271. - W. T. Parry. Reply to Professor Dotterer. Science and society, vol. 13 no. 3 (1949), pp. 271–272.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 214
-
- Article
- Export citation