Beth E. W.. I fondamenti logici della matematica. Italian translation by Casari Ettore of XXV 269. Feltrinelli Editore, Milan 1963, XIII + 335 pp.Casari Ettore. Prefazione del traduttore. Therein, pp. VII–XIII.Beth E. W.. Osservazioni sulla deduzione naturale. Italian translation by Casari Ettore of XXII 360. Therein, pp. 255–259.Beth E. W.. Considerazioni euristiche sui metodi di deduzione per sequenze. Italian translation by Ettore Casari of Considérations heuristiques sur les méthodes de déduction par séquences. Therein, pp. 260–267.Beth E. W.. Osservazioni a proposito del ragionamento indiretto. Italian translation by Ettore Casari of Observations au sujet du raisonnement indirect. Therein, pp. 268–276.Beth E. W.. Risultati di completezza per sistemi formali. Italian translation by Casari Ettore of XXVII 110. Therein, pp. 277–285.Casari Ettore. I calcoli N e L di Gentzen. Therein, pp. 287–294 [Book Review]

Journal of Symbolic Logic 36 (2):325 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270278

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Review: E. W. Beth, Ettore Casari, I Fondamenti Logici della Matematica. [REVIEW]Giorgio Sandri - 1971 - Journal of Symbolic Logic 36 (2):325-325.
Casari Ettore. Lineamenti di logica matematica. Giangiacomo Feltrinelli Editore, Milano 1959. Seconda edizione, 1960, 323 pp. Terzà edizione, 1961, 323 pp. [REVIEW]Amedeo G. Conte - 1962 - Journal of Symbolic Logic 27 (1):76-77.
Casari Ettore. Computabilità e ricorsività. Problemi di logica matematica. Quaderno n. 3 della Scuola di Studi Superiori sugli Idrocarburi dell' E.N.I. Milano 1959, 107 pp. [REVIEW]Amedeo G. Conte - 1960 - Journal of Symbolic Logic 25 (3):279-279.
Review: Ettore Casari, Computabilita e Ricorsivita. Problemi di Logica Matematica. [REVIEW]Amedeo G. Conte - 1960 - Journal of Symbolic Logic 25 (3):279-279.
Ricordo di Ettore Casari.Enrico Moriconi - 2019 - Rivista Internazionale di Filosofia e Psicologia 10 (2):224-225.
Review: Ettore Casari, Lineamenti di Logica Matematica. [REVIEW]Amedeo G. Conte - 1962 - Journal of Symbolic Logic 27 (1):76-77.
Alfred Tarski. Inleiding tot de logica en tot de methodeleer der deductieve wetenschappen. Dutch translation of XII 61 by E. W. Beth. Noord-Hollandsche Uitgevers Maatschappij, Amsterdam1953, xix + 259 pp. - E. W. Beth Ten geleide . Therein, pp. xvii–xix. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (2):187-187.
Alfred Tarski. Inleiding tot de logica en tot de methodeleer der deductieve wetenschappen. Dutch translation of XII 61 by E. W. Beth. Noord-Hollandsche Uitgevers Maatschappij, Amsterdam1953, xix + 259 pp. - E. W. Beth Ten geleide . Therein, pp. xvii–xix. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (2):187-187.
Punti di vista esterni alla Pedagogia. La rilettura di E. Husserl fatta da Ettore Casari.M. Giusti - 2000 - Encyclopaideia 4 (7):103-116.
Carruccio Ettore. Corso di storia delle matematiche. Matematica e logica nella storia e nel pensiero contemporaneo. Second edition, revised and augmented. Editore Gheroni, Turin 1952, 552 pp.Carruccio Ettore. Matematica e logica nella storia e nel pensiero contemporaneo. Editore Gheroni, Turin 1958, 367 pp. [REVIEW]Alberto Pasquinelli - 1963 - Journal of Symbolic Logic 28 (2):171-172.

Analytics

Added to PP
2016-06-30

Downloads
40 (#410,325)

6 months
5 (#711,233)

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