Peano Giuseppe. Formulario mathematico. Riproduzione in fac-simile dell'edizione originale. Edizioni Cremonese, Rome 1960, XLVIII + XXXVI + 482 pp.Cassina Ugo. Prefazione. Therein, pp. III–IV.Cassina Ugo. Introduzione. Therein, pp. V–XXXIII.Cassina Ugo. Note. Therein, pp. XXXV–XLVIII [Book Review]

Journal of Symbolic Logic 27 (4):471-471 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964560

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Cassina Ugo. Storia ed analisi del “Formulario completo” di Peano. Bollettino della Unione Matematica Italiana, ser. 3 vol. 10 , pp. 244–266, 544–574. [REVIEW]Ferruccio Rossi-Landi - 1959 - Journal of Symbolic Logic 24 (3):212-213.
Review: Ugo Cassina, Storia ed Analisi del "Formulario Completo" di Peano. [REVIEW]Ferruccio Rossi-Landi - 1959 - Journal of Symbolic Logic 24 (3):212-213.
Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Review: Giuseppe Peano, Formulario Mathematico. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (4):471-471.
Cassina Ugo. Sulla critica di Grandjot all'aritmetica di Peano. Bollettino delta Unione Matematica Italiana, ser. 3 vol. 8 , pp. 442–447. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (2):175-176.
Cassina Ugo. Parallelo fra la logica teoretica di Hilbert e quella di Peano. Periodico di mathematiche, ser. 4 vol. 17 , pp. 129–138. [REVIEW]C. H. Langford - 1938 - Journal of Symbolic Logic 3 (2):87-87.
Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. . - A. S. Ésénin-Vol′pin. Ot péravodčika . Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot k v dokazatél'stvé téorémy 36. to in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV . .) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néproti. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
Cassina Ugo. L'idéographie de Peano du point de vue de la théorie du langage. Rivista di matematica della Università di Parma, vol. 4 , pp. 195–205. [REVIEW]Christopher Blake - 1954 - Journal of Symbolic Logic 19 (4):290-291.
Gilbert Varet and Paul Kurtz, editors. International directory of philosophy and philosophers. Humanities Press, Inc., New York1966, 235 pp. - Raili Kauppi. Note on philosophical trends in Finland. Therein, pp. 74–75. - Anthony Quinton. Philosophy in Great Britain. Therein, pp. 106–110. [REVIEW]Alonzo Church - 1967 - Journal of Symbolic Logic 32 (1):106.
Sherwood William of. Treatise on syncategorematic words. Translated with an introduction and notes by Kretzmann Norman. University of Minnesota Press, Minneapolis 1968, xvii + 173 pp.Kretzmann Norman. Preface. Therein, pp. v–vii.Kretzmann Norman. Translator's introduction. Therein, pp. 3–9. [REVIEW]Martin Tweedale - 1970 - Journal of Symbolic Logic 35 (3):450-451.

Analytics

Added to PP
2016-06-30

Downloads
14 (#994,967)

6 months
3 (#1,208,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references