Introduzione alla logica matematica
Torino : Boringhieri, 1972
Abstract/Sommario:
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.
| Campo | Valore |
|---|---|
| Descrizione | Introduzione alla logica matematica / Elliott Mendelson. - Torino : Boringhieri, 1972. - 353 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica) |
| Note |
Traduzione di Teresa Pallucchini.
|
| Titolo uniforme | |
| Collezione | |
| Numeri |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione |
|
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 44045 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095326 | Biblioteca | LC / 972 / 4 | Ammesso al prestito | A scaffale | Nessuna |