Contents
Reviews
L. Henkin. The representation theorem for cylindrical algebras. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 85–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
-
- Article
- Export citation
António A. Monteiro. L'arithmétique des filtres et les espaces toplogiques. Segundo Symposium sobre Algunos Problemas Matemáticos que se están estudiando en Latino América, Villavicencio-Mendoza 21-25 Julio 1954, Centro de Cooperación Científica de la UNESCO para América Latina, Montevideo1954, pp. 129–162. - Herbert Meschkowski. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme. Friedr. Vieweg & Sohn, Braunschweig1956, VI + 122 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-85
-
- Article
- Export citation
Karl R. Popper. A note on Tarski's definition of truth. Mind, n.s. vol. 64 (1955), pp. 388–391.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 365
-
- Article
- Export citation
András Hajnal und László Kalmár. Megjegyzés a halmazelmélet Gödel-féle axiómarendszeréhez (Eine Bemerkung zum Gödelschen Axiomensystem der Mengenlehre). Ebd., Bd. 7 (1956), S. 26–42, 218–229.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
-
- Article
- Export citation
Yosihisa Izumi. Remarques sur la notion de la perfection. Tóhoku mathematical journal, ser. 2 vol. 4 (1952), pp. 252–256. - Yosihisa Izumi. Über den Begriff der ω-Vollständigkeit. Tóhoku mathematical journal, ser. 2 vol. 4 (1952), pp. 314–315. - Yosihisa Izumi. Sur les formes normales. Tóhoku mathematical journal, ser. 2 vol. 6 (1954), pp. 26–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
H. B. Curry. Remarks on the definition and nature of mathematics. Dialectica, vol. 8 (1954), pp. 228–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-86
-
- Article
- Export citation
L. Henkin. La structure algébrique des théories matérmatiques. Collection de logique mathématique, série A. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1956, 52 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
-
- Article
- Export citation
Hao Wang. Truth definitions and consistency proofs. Transactions of the American Mathematical Society, vol. 73 (1952), pp. 243–275.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-367
-
- Article
- Export citation
W. V. Quine. Reduction to a dyadic predicate. The journal of symbolic logic, Bd. 19 (1954), S. 180–182. - Alan Cobham. Reduction to a symmetric predicate. Ebd., Bd. 21 (1956), S. 56–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
-
- Article
- Export citation
K. Jaakko Hintikka. An application of logic to algebra. Mathematica scandinavica, vol. 2 (1954), pp. 243–246.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
-
- Article
- Export citation
Israel Scheffler. An inscriptional approach to indirect quotation. Analysis (Oxford), vol. 14 no. 4 (1954), pp. 83–90. See Errata, ibid., vol. 14 no. 6 (1954), p. 150.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 86
-
- Article
- Export citation
Joseph R. Shoenfield. A relative consistency proof. The journal of symbolic logic, vol. 19 (1954), pp. 21–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
-
- Article
- Export citation
A. Janiczak. Undecidability of some simple formalized theories. Nach dem Tode des Verf., von A. Mostowski und A. Grzegorczyk herausgegeben. Fundamenta mathematicae, Bd. 40 (1953), S. 131–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
-
- Article
- Export citation
Margaret Masterman Braithwaite. The pictorial principle in language. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Lou vain 1953, pp. 139–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
-
- Article
- Export citation
Paul Bernays. A system of axiomatic set theory — Part VII. The journal of symbolic logic, vol. 19 (1954), pp. 81–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
-
- Article
- Export citation
Kurt Schütte. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, (1956) S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 (1956), S. 375–387.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
E. Specker. Die Antinomien der Mengenlehre. Dialectica, vol. 8 (1954), pp. 234–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
Irving M. Copi. Another variant of natural deduction. The journal of symbolic logic, vol. 21 (1956), pp. 52–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
-
- Article
- Export citation
Hartley Rogers Jr. Certain logical reduction and decision problems. Annals of mathematics, Bd. 64 (1956), S. 264–284.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
-
- Article
- Export citation
Rulon Wells. Meaning and use. Word, vol. 10 no. 2–3 (1954), pp. 235–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
-
- Article
- Export citation