Contents
Reviews
Ernst Specker. Zur Axiomatik der Mengenlehre (Fundierungs- und Auswah axiom). Zeitschrift für mathematische Logik und Grundlagen der Mathamatik, vol. 3 (1957), pp. 173–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
-
- Article
- Export citation
Gaisi Takeuti. A metamathematical theorem on functions. Journal of the Mathematical Society of Japan, vol. 8 (1956), pp. 65–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
-
- Article
- Export citation
Albert E. Avey. Recent schools of logic. A history of philosophical systems, edited by Vergilius Ferm, The Philosophical Library, New York1950, pp. 504–515. - Gustav Bergmann. Logical positivism. A history of philosophical systems, edited by Vergilius Ferm, The Philosophical Library, New York1950, pp. 471–482. Reprinted in The metaphysics of logical positivism, by Gustav Bergmann, Longmans, Green and Co., New York, London, Toronto 1954, pp. 1–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
Katuzi Ono. A set theory founded on unique generating principle. Nagoya mathematical journal, vol. 12 (1957), pp. 151–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 227
-
- Article
- Export citation
Daya. Symmetry, transitivity and reflexivity. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 7–11. - S. Bhattacharyya. Symmetry, transitivity and reflexivity. Analysis (Oxford), vol. 19 no. 4 (1959), pp. 93–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-186
-
- Article
- Export citation
Gaisi Takeuti. On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 71–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
Václav Edvard Beneš. On the consistency of an axiom of enumerability. The Journal of symbolic logic, vol. 20 (1955), pp. 29–30.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
-
- Article
- Export citation
Joseph Gerard Brennan. A handbook of logic. Harper & Brothers, New York1957, x + 222 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Robert Blanché. Sur la structuration du tableau des connectifs interpropositionnels binaires. The Journal of symbolic logic, vol. 22 no. 1 (1957), pp. 17–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
-
- Article
- Export citation
Gaisi Takeuti. Remark on my paper: On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 192–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
Raymond M. Smullyan. Languages in which self reference is possible. The Journal of symbolic logic, vol. 22 no. 1 (1957), pp. 55–67.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
-
- Article
- Export citation
J. C. H. Gerretsen. Wiskundige logica. Axiomatica. (Mathematical logic. Axiomatic theory and method). Eerste Nederlandse systematisch ingerichte encyclopaedic, Vol. 4, Amsterdam1949, pp. 3–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Gaisi Takeuti. Construction of the set theory from the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 6 (1954), pp. 196–220. Errata, ibid., vol. 7 (1955), p. 408.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
Gaisi Takeuti. On the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 93–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
J. C. H. Gerretsen. Het getalbegrip (The number concept). Eerste Nederlandse systematisch ingerichte encyclopaedic, Vol. 4, Amsterdam1949, pp. 16–33.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Daniel Lacombe. Les idées actuelles sur la structure des mathématiques. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 39–96. - Roger Apéry, Maurice Fréchet, Daniel Lacombe, André Lalande, Jean Porte, Jean Ullmo. Discussion. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 97–133. - Maurice Fréchet. Note. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 133–135. - Daniel Lacombe. Exposé complémentaire sur le théorème de Gödei. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp 135–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
-
- Article
- Export citation
Gaisi Takeuti. On the theory of ordinal numbers, II. Journal of the Mathematical Society of Japan, vol. 10 (1958), pp. 106–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
Marc Krasner. Théorie de la définition. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 (1957), pp. 325–357, and vol. 37 (1958), pp. 53–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
-
- Article
- Export citation
P. Naslin. Circuits à relais et automatismes à séquences. Dunod, Paris1958, XII + 229 pp. - Pierre Naslin. Introduction à l′étude des automatismes à séquences. Automatisme (Paris), vol. 3 (1958), pp. 3–11, 43–49, 87–94, 135–143, 179–185, 225–228, 260–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
-
- Article
- Export citation
Trevor Evans and Lane Hardy. Sheffer stroke functions in many-valued logics. Portugaliae mathematica, vol. 16 no. 3–4 (1957), pp. 83–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
-
- Article
- Export citation