Introduzione alla logica matematica
Torino : Boringhieri, 1972
Abstract:
Il calcolo proposizionale - Teoria della quantificazione - Teoria formale dei numeri - Teoria assiomatica degli insiemi - Computabilità effettiva - Una dimostrazione di consistenza per la teoria formale dei numeri.
| Field | Value |
|---|---|
| Description | Introduzione alla logica matematica/ Elliott Mendelson. - Torino : Boringhieri, 1972. - 353 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica) |
| Notes |
Traduzione di Teresa Pallucchini.
|
| Uniform title | |
| Series | |
| Numbers |
|
| Authors |
|
| Keys | |
| Publishing location |
|
| Editor |
|
| Country | |
| Language | |
| ID file | 44045 |
| Library | Inv. | Ubi. | Collocation | State | Status | Reservations |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095326 | Biblioteca | LC / 972 / 4 | Available | In library | None |