Fondamenti della matematica
Torino : Boringhieri, 1973
Abstract:
Logica del prim'ordine - L'origine degli studi moderni sui fondamenti della matematica - Il sistema di Frege e i paradossi - La teoria dei tipi - La teoria degli insiemi di Zermelo-Fraenkel - Il programma hilbertiano e i teoremi di incompletezza di Godel - I sistemi fondazionali di W. V. Quine - L'algebra categoriale.
| Field | Value |
|---|---|
| Description | Fondamenti della matematica/ William S. Hatcher. - Torino : Boringhieri, 1973. - 454 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica) |
| Notes |
Traduzione di Maria Luisa Dalla Chiara Scabia.
|
| Uniform title | |
| Series | |
| Authors |
|
| Keys | |
| Publishing location |
|
| Editor |
|
| Country | |
| Language | |
| ID file | 44510 |
| Library | Inv. | Ubi. | Collocation | State | Status | Reservations |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095595 | Biblioteca | LC / 973 / 16 | Available | In library | None |