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 [Book Review]

Journal of Symbolic Logic 25 (3):279-279 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964717

Other Versions

No versions found

Links

PhilArchive



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

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

Computabilità e Ricorsività. Problemi di Logica Matematica.Ettore Casari - 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.
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.
Review: E. W. Beth, Ettore Casari, I Fondamenti Logici della Matematica. [REVIEW]Giorgio Sandri - 1971 - Journal of Symbolic Logic 36 (2):325-325.
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.
La filosofia della matematica.Carlo Cellucci - 1967 - Bari,: Laterza.
Lettura ed interpretazione del testo letterario in Problemi di realismo di G. Lukács.M. Incerti - 1977 - ACME: Annali della Facoltà di lettere e filosofia dell'Università degli studi di Milano 30 (1):77-92.
Sugli aggettivi latini in -ax.S. De Nigris More - 1972 - ACME: Annali della Facoltà di lettere e filosofia dell'Università degli studi di Milano 25 (3):263-314.

Analytics

Added to PP
2013-11-03

Downloads
34 (#662,312)

6 months
6 (#851,135)

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