Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali
Torino : Boringhieri, 1978
Abstract:
Questo volume contiene gli elementi della teoria della dimostrazione, cioè di quella parte della logica matematica in cui si assumono le dimostrazioni come oggetto di studio matematico. Lo studio delle dimostrazioni può essere condotto con due finalità differenti: fornire un’analisi generale della nozione di dimostrazione e delle sue proprietà, oppure elaborare uno strumento per la realizzazione del programma hilbertiano. A queste due finalità corrispondono due diverse forme della teor ...; [read all]
| Field | Value |
|---|---|
| Description | Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali/ Carlo Cellucci. - Torino : Boringhieri, 1978. - 315 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica) |
| Series | |
| Numbers |
|
| Authors |
|
| Keys | |
| Publishing location |
|
| Editor |
|
| Country | |
| Language | |
| ID file | 44550 |
| Library | Inv. | Ubi. | Collocation | State | Status | Reservations |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095622 | Biblioteca | LC / 978 / 32 | Available | In library | None |