|
| NON posseduto | |
| Autore principale: | Moriconi, Enrico.
|
| Titolo: | Osservazioni sulla seconda prova di non-contraddittorietà dell'aritmetica di Gerhard Gentzen / di Enrico Moriconi. |
| Visionato in: | BNCF |
| In: |  Ricerca logica in Italia. Milano : Cisalpino, 2011. p. 385-402 |
| Discipline: | Logica matematica--Persone. |
| Persone: | Gentzen, Gerhard, 1909-1945. |
| Sudd. cronologiche: | Secolo XX. |
| 000001014397 |
--------------------------------------