Contents
Reviews
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
Front matter
JSL volume 22 issue 2 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
-
- Article
-
- You have access
- Export citation
Reviews
Werner Markwald. Ein Satz über die elementararithmetischen Definierbarkeitsklassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 2–4 (1956), pp. 78–86; also Archiv für Philosophie vol. 5 no. 4 (1956), pp. 398–406.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 374
-
- Article
- Export citation
Gerold Stahl. La lógica de las preguntas. Anales de la Universidad de Chile, no. 102 (061956), pp. 71–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-94
-
- Article
- Export citation
Clifford Spector. On degrees of recursive unsolvability. Annals of mathematics, ser. 2 vol. 64 (1956), pp. 581–592.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-375
-
- 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
A. C. Ewing. A new formula for the syllogism in terms of the ordinary sense of ‘implication.’Analysis (Oxford), vol. 12 no. 1 (1951), pp. 9–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
-
- 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
E. Roxon. A note on some misunderstandings of Aristotelian logic. Australasian journal of philosophy, vol. 33 (1955), pp. 107–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
-
- Article
- Export citation
H. G. Rice. Recursive and recursively enumerable orders. Transactions of the American Mathematical Society, vol. 83 (1956), pp. 277–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 375
-
- Article
- Export citation
J. A. Faris. The Gergonne relations. The journal of symbolic logic, vol. 20 (1955), pp. 207–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
-
- Article
- Export citation
S. C. Kleene. Errata. Arithmetical predicates and function quantifiers. Transactions of the American Mathematical Society, vol. 80 (1955), p. 386, and vol. 81 (1956), p. 524.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 375
-
- 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
Raphael M. Robinson. Primitive recursive functions. II. Proceedings of the American Mathematical Society, Bd. 6 (1955), S. 663–666.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
-
- Article
- Export citation
Klaus Härtig. Über die Struktur der klassischen Syllogistik. Wissenschaftliche Zeitschrift der Martin-Luther-Universität Halle-Wittenberg, vol. 2 (1952–1953), pp. 165–189.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
-
- Article
- Export citation
James Wilkinson Miller. Exercises in introductory symbolic logic. Lithoprinted from typewritten manuscript. Published by the author, McGill University, Montreal; wholesale from Edwards Brothers, Ann Arbor, Michigan; 1955, ix + 59 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-311
-
- Article
- Export citation
Julia Robinson. A note on primitive recursive functions. Ebd., S. 667–670.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
-
- Article
- Export citation
Klaus Härtig. Axiomatische Probleme in der klassischen Syllogistik. Bericht über die Mathematiker-Tagung in Berlin vom 14. bis 18. Januar 1953, Deutscher Verlag der Wissenschaften, Berlin1953, pp. 19–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
-
- Article
- Export citation
Rózsa Péter. Die beschränkt-rekursiven Funktionen und die Ackermannsche Majorisierungsmethode. Publicationes mathematicae (Debrecen), vol. 4 no. 3–4 (1956), pp. 362–375.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
-
- Article
- Export citation