I Fondamenti Logici della Matematica

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270278

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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.
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. [REVIEW]Giorgio Sandri - 1971 - Journal of Symbolic Logic 36 (2):325.
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.
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.
I fondamenti logici della relatività.F. Severi - 1955 - Scientia 49 (90):277.
Carruccio Ettore. I fini del “Calculus ratiocinator” di Leibniz, e la logica matematica del nostro tempo. Bollettino delta Unione Matematica Italiana, ser. 3 vol. 3 , pp. 148–161. [REVIEW]Nicholas Rescher - 1954 - Journal of Symbolic Logic 19 (3):221-221.
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.
Logica e fondamenti della matematica.G. Lolli - 1980 - Scientia 74 (15):517.
Dietro le formule--: i discorsi della logica e della matematica.Vincenzo Tagliasco - 1998 - Torino: Bollati Boringhieri. Edited by Antonio Vincenzi.

Analytics

Added to PP
2015-02-05

Downloads
23 (#939,354)

6 months
8 (#580,966)

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