No CrossRef data available.
Article contents
E. W. Beth. I fondamenti logici della matematica. Italian translation by Ettore Casari of XXV 269. Feltrinelli Editore, Milan1963, XIII + 335 pp. - Ettore Casari. Prefazione del traduttore. Therein, pp. VII–XIII. - E. W. Beth. Osservazioni sulla deduzione naturale. Italian translation by Ettore Casari of XXII 360(3). Therein, pp. 255–259. - E. W. Beth. 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. - E. W. Beth. Osservazioni a proposito del ragionamento indiretto. Italian translation by Ettore Casari of Observations au sujet du raisonnement indirect. Therein, pp. 268–276. - E. W. Beth. Risultati di completezza per sistemi formali. Italian translation by Ettore Casari of XXVII 110. Therein, pp. 277–285. - Ettore Casari. I calcoli N e L di Gentzen. Therein, pp. 287–294.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1971