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: 91,386

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

I Fondamenti Logici della Matematica.E. W. Beth & Ettore Casari - 1971 - Journal of Symbolic Logic 36 (2):325-325.
Review: E. W. Beth, Ettore Casari, I Fondamenti Logici della Matematica. [REVIEW]Giorgio Sandri - 1971 - Journal of Symbolic Logic 36 (2):325-325.
A proposito dei fondamenti della matematica.Ettore Casari - 1981 - Rivista di Filosofia 21:359.
Questioni di filosofia della matematica.Ettore Casari - 1972 - Feltrinelli.
Matematica e verità.Ettore Casari - 1987 - Rivista di Filosofia 78 (3):329-350.
Congedo.Ettore Casari - 2007 - Rivista di Storia Della Filosofia 3.
Computabilità e Ricorsività. Problemi di Logica Matematica.Ettore Casari - 1960 - Journal of Symbolic Logic 25 (3):279-279.
Corrado Mangione.Ettore Casari - 2010 - Rivista di Storia Della Filosofia 65 (2):343-354.
Comparative logics.Ettore Casari - 1987 - Synthese 73 (3):421 - 449.
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.
Review: Ettore Casari, Lineamenti di Logica Matematica. [REVIEW]Amedeo G. Conte - 1962 - Journal of Symbolic Logic 27 (1):76-77.
Dismissal (Moral philosophy).Ettore Casari - 2007 - Rivista di Storia Della Filosofia 62 (3):559-567.
Profili Corrado Mangione.Ettore Casari - 2010 - Rivista di Storia Della Filosofia 65 (2):343.
Remarks on the foundational inquiry.Ettore Casari - 1985 - Synthese 62 (2):125 - 137.
Axiomatical and set-theoretical thinking.Ettore Casari - 1974 - Synthese 27 (1-2):49 - 61.

Analytics

Added to PP
2016-06-30

Downloads
38 (#410,745)

6 months
3 (#1,002,413)

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