Contents
Reviews
Moh Shaw-Kwei. A note on the theory of quantification. The journal of symbolic logic, vol. 17 (1952), pp. 243–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
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
Philotheus Boehner. Medieval logic. An outline of its development from 1250 to c. 1400. The University of Chicago Press, Chicago1952, xvii + 130 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- Article
- Export citation
Hugo Ribeiro. A remark on Boolean algebras with operators. American journal of mathematics, vol. 74 (1952), pp. 163–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
-
- 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
Louise H. Chin and Alfred Tarski. Distributive and modular laws in the arithmetic of relation algebras. University of California publications in mathematics, n.s. vol. 1 no. 9 (1951), pp. 341–384.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
-
- Article
- Export citation
G. Kreisel. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 265–285.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
Eberhard Rogge. Axiomatik alles möglichen Philosophierens. Das grundsätzliche Sprechen der Logistik, der Sprachkritik und der Lebens-Metaphysik. Westkulturverlag Anton Hain, Meisenheim am Glan 1950, XV und 240 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
-
- Article
- Export citation
Henry Babcock Veatch. Intentional logic. A logic based on philosophical realism. Yale University Press, New Haven1952, xxi + 440 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
-
- Article
- Export citation
H. Rasiowa. Algebraic treatment of the functional calculi of Heyting and Lewis. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 99–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
-
- Article
- Export citation
S. C. Kleene. Recursive functions and intuitionistic mathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 679–685.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- 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
Andrzej Grzegorczyk. Undecidability of some topological theories. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 137–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
-
- Article
- Export citation
Abraham Robinson. On the application of symbolic logic to algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 686–694. - Alfred Tarski. Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 705–720.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation
Béla von Juhos. Die Anwendung der logistischen Analyse auf philosophische Probleme. Methodos, vol. 3. no. 10 (1951), pp. 81–100. - Giuseppe Vaccarino. Discussione. Methodos, vol. 3. no. 10 (1951), pp. 101–104. - B. v. Juhos. Erwiderung an Herrn Giuseppe Vaccarino. Methodos, vol. 3. no. 10 (1951), pp. 104–105. - Béla von Juhos. The application of logistic analysis to philosophical problems. English translation by Ernst v. Glasersfeld. Methodos, vol. 3. no. 10 (1951), pp. 106–117. - Giuseppe Vaccarino. Discussion. English translation. Methodos, vol. 3. no. 10 (1951), pp. 117–120. - B. v. Juhos. Answer to Mr. Vaccarino. English translation. Methodos, vol. 3. no. 10 (1951), pp. 120–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
-
- 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
Einar Hille. Such stuff as dreams are made on — in mathematics. American scientist, vol. 41 (1953), pp. 106–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
-
- Article
- Export citation
Heinrich Behmann. Das Auflösungsproblem in der Klassenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 (1950), pp. 17–29, and vol. 1 no. 2 (1951), pp. 33–51; also Archiv für Philosophie, vol. 4 no. 1 (1950), pp. 97–109, and vol. 4 no. 2 (1951), pp. 193–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
-
- Article
- Export citation
Béla von Juhos. Die Erkenntnisanalytische Methode. Zeitschrift für philosophische Forschung, vol. 6 (1951–1952), pp. 42–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
-
- Article
- Export citation