Contents
Reviews
László Kalmár. Contributions to the reduction theory of the decision problem. Third paper. Prefix (x1)(Ex2) … (Exn−2)(xn−1)(xn), a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2(1951), pp. 19–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 264
-
- Article
- Export citation
Laszló Kalmár. Contributions to the reduction theory of the decision problem. Fourth paper. Reduction to the case of a finite set of individuals. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 125–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
-
- Article
- Export citation
Janos Surányi. Contributions to the reduction theory of the decision problem. Fifth paper. Ackermann prefix with three universal quantifiers. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 325–335.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
-
- Article
- Export citation
Hao Wang. The irreducibility of impredicative principles. Mathematische Annalen, vol. 125 no. 1 (1952), pp. 56–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-266
-
- Article
- Export citation
Haskell B. Curry. The system LD. The journal of symbolic logic, vol. 17 (1952), pp. 35–42. - Haskell B. Curry. On the definition of negation by a fixed proposition in inferential calculus. The journal of symbolic logic, vol. 17 (1952), pp. 98–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-268
-
- Article
- Export citation
Jan Kalicki. A test for the equality of truth-tables. The journal of symbolic logic, vol. 17 (1952), pp. 161–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-269
-
- Article
- Export citation
Alonzo Church and W. V. Quine. Some theorems on definability and decidability. The journal of symbolic logic, vol. 17 (1952), pp. 179–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
-
- Article
- Export citation
William Craig and W. V. Quine. On reduction to a symmetric relation. The journal of symbolic logic, vol. 17 (1952), p. 188.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
-
- Article
- Export citation
P. Masani. What is a function?Mathematics student, vol. 19 no. 3–4 (for 1951, pub. 1952), pp. 81–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
-
- Article
- Export citation
Haskell B. Curry. Language, metalanguage, and formal system. The philosophical review, vol. 59 (1950), pp. 346–353.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
G. T. Kneebone. Mathematical formalisms and their realizations. Philosophy, vol. 27 (1952), pp. 138–147.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
Henry Margenau. The nature of physical reality. A philosophy of modern physics. McGraw-Hill Book Company, New York - Toronto - London1950, xiii + 479 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
-
- Article
- Export citation
A. D. Aléksandrov. Léninskaá dialéktika i matématika (Leninist dialectic and mathematics). Priroda (Leningrad), no. 1 (1951), pp. 5–15. - A. D. Aléksandrov. Ob idéalizmé v matématiké (On idealism in mathematics). Priroda, no. 7 (1951), pp. 3–11, and no. 8 (1951), pp. 3–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
-
- Article
- Export citation
Alexander Philipov. Logic and dialectic in the Soviet Union. With a foreword by Ernest Nagel. Studies on the U.S.S.R. No. 1. Lithoprinted. Research Program on the U.S.S.R. (East European Fund, Inc.), New York1952, xi + 89 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
-
- Article
- Export citation
Ulrich Klug. Zur Lehre von den Kontrapositionsschlüssen. Zeitschrift für philosophische Forschung, vol. 3 (1948–1949), pp. 1–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- Article
- Export citation
Bruno von Freytag Löringhoff. Über das System der Modi des Syllogismus. Zeitschrift für philosophische Forschung, vol. 4 (1949–1950), pp. 235–256.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- Article
- Export citation
Gustav Lebzeltern. Die vier “ungültigen” Modi: Darapti, Felapton, Bamalip, Fesapo. Zeitschrift für philosophische Forschung, vol. 5(1950–1951), pp. 220–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- Article
- Export citation
P. F. Strawson. Introduction to logical theory. Methuen & Co., London1952; John Wiley & Sons, New York 1952; x + 266 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-276
-
- Article
- Export citation
Joseph Dopp. Leçons de logique formelle. Première partie. Logique aticienne. La logique desjugements prédicatifs. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1949, XI + 166 pp. - Joseph Dopp. Leçons de logique formelle. Deuxième partie. Logique moderne I. Le calcul des propositions inanalysées. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1950, XI + 216 pp. - Joseph Dopp. Leçons de logique formelle. Troisième partie. Logique moderne II. Logique des propositions à une ou plusieurs mentions d'objets. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1950, XVI + 274 pp. [Therein: Addenda et corrigenda to the first and second parts, pp. 272–274.] - Joseph Dopp. Table des formules. Leçons de logique formelle, II et III, Annexe. Éditions de l'lnstitut Supérieur de Philosophie, Louvain, 15 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
-
- Article
- Export citation
Paul C. Rosenbloom. The elements of mathematical logic. Dover Publications, Inc., New York, 1951, 6 + iv + 214 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-280
-
- Article
- Export citation