Elementi di logica matematica
Torino : Boringhieri, 1975
Abstract/Sommario:
Questo volumetto intende fornire una presentazione concisa, ma nel contempo essenzialmente completa, di quella parte della logica matematica moderna che ne costituisce il concreto nucleo di raccordo con la tradizione classica: la teoria dell'inferenza. Vi vengono infatti sviluppate, secondo lo stile dei calcoli della deduzione naturale di Gentzen, la logica degli enunciati e la logica dei predicati del primo ordine. A dispetto della sua piccola mole, il volume comprende, oltre a una br ...; [leggi tutto]
| Campo | Valore |
|---|---|
| Descrizione | Elementi di logica matematica/ Corrado Mangione. - 2. ed. - Torino : Boringhieri, 1975. - 127 p. ; 21 cm. - (Lezioni e seminari) |
| Collezione |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione |
|
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 44522 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095603 | Biblioteca | LC / 975 / 38 | Ammesso al prestito | A scaffale | Nessuna |