Reviews
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
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
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
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
Masao Ohnishi. On intuitionistic functional calculus. Osaka mathematical journal, vol. 5 (1953), pp. 203–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
-
- Article
- Export citation
Abraham A. Fraenkel. On the crisis of the principle of the excluded middle. Scripta mathematica, vol. 17 (1951), pp. 5–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
-
- Article
- Export citation
Motokiti Kondô. Sur la nommabilité d'ensembles. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), Bd. 242 (1956), S. 1841–1843. - Motokiti Kondô. Sur les nombres réels et nommables. Ebd., S. 1945–1948. - Motokiti Kondô. Sur les analyses relatives. Ebd., S. 2084–2087. - Motokiti Kondô. Sur la notion du transfini. Ebd., S. 2209–2212. - Motokiti Kondô. Sur le continu projectif et la conclusion de l'étude des ensembles nommables. Ebd., S. 2275–2278.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
-
- Article
- Export citation
J. Riguet. Quelques applications de la théorie des relations binaires. Applications scientifiques de la logique mathématique, Acte du 2e Colloque International de Logique Mathématique, Paris — 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris1954, et E. Nauwelaerts, Louvain 1954, p. 141–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
-
- Article
- Export citation
Karl Menger. On variables in mathematics and in natural science. The British journal for the philosophy of science, vol. 5 (1954–1955), pp. 134–142. - Karl Menger. Variables, de diverses natures. Bulletin des sciences mathématiques, ser. 2 vol. 78 (1954), pp. 229–234. - Karl Menger. What are variables and constants?Science, vol. 123 (1956), pp. 547–548.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
-
- Article
- Export citation
A. V. Kuznécov and B. A. Trahténbrot. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva (An investigation of partial recursive operators by means of the theory of the space of Baire). Doklady Akadémii Nauk SSSR, vol. 105 (1955), pp. 897–900.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
-
- Article
- Export citation
J. Myhill and J. C. Shepherdson. Effective operations on partial recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, vol. 1 (1955), pp. 310–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
Gideon Schwarz. A note on transfinite iteration. The journal of symbolic logic, vol. 21 (1956), pp. 265–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
John Myhill. Arithmetic with creative definitions by induction. The journal of symbolic logic, vol. 18 (1953), pp. 115–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-304
-
- Article
- Export citation
G. Kreisel. A variant to Hilbert's theory of the foundations of arithmetic. The British journal for the philosophy of science, vol. 4 (1953–1954), pp. 107–129. See Errata and corrigenda, ibid., p 357.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-306
-
- Article
- Export citation
Th. Skolem. Peano's axioms and models of arithmetic. Mathematical Interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
Alessandro Terracini. Prefazione. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 5–7. - Beppo Levi. L'opera matematica di Giuseppe Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 9–21. - Guido Ascoli. I motivi fondamentali dell'opera di Giuseppe Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 23–30. - Beniamino Segre. Peano ed il Bourbakismo. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 31–39. - Francesco Barone. Un'apertura filosofica della logica simbolica peaniana. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 41–50. - Ludovico Geymonat. I fondamenti dell'aritmetica secondo Peano e le obiezioni “filosofiche” di B. Russell. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 51–63. - Tommaso Boggio. Il calcolo geometrico di Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 65–69. - Ugo Cassina. Sul “Formulario mathematico” di Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 71–102. - Ettore Carruccio. Spunti di storia delle matematiche e dell a logica nell'opera di G. Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 103–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
-
- Article
- Export citation
Giovanni Vacca. Perché non si è sviluppata la scienza in Cina. Origini della scienza, by Giovanni Vacca, Partenia, Rome1946, pp. 7–19. See Discussione, by A. C. Blanc, G. Bonarelli, P. Mingazzini, G. Rabbeno, and G. Vacca, ibid., pp. 47–58. - Giovanni Vacca. Matematica e tecnica: Origine e sviluppo dei concetti matematici. Origini delta scienza, by Giovanni Vacca, Partenia, Rome1946, pp. 20–29 - Giovanni Vacca. Logica matematica e lo gistica — Sni postulati dell'aritmetica e la loro compatibility. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 30–36, 37–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 307-308
-
- Article
- Export citation
H. Gericke. Algebraische Betrachtungen zu den Aristotelischen Syllogismen. Archiv der Mathematik (Basel und Stuttgart), Bd. 3, Heft 6 (für 1952, erschienen 1953), S. 421–433.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 308-309
-
- Article
- Export citation
Lewis Carroll. Symbolic logic. Part I. Elementary. Reprint of the fourth edition (674). Berkeley Enterprises, Inc., New York1955, xxxi + 203 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-310
-
- Article
- Export citation