|
Manaster, Alfred B.
Completezza, compattezza e indecidibilità : un'introduzione alla logica matematica / Alfred B. Manaster ; traduzione di Serenella Cerrito e Marta Cialdea
(Visualizza in formato Marc21)
|
|
| Pubblicazione |
Napoli : Bibliopolis, 1981
|
| Titolo uniforme | Completeness, compactness, and undecidability. An introduction to mathematical logic |
| Descrizione fisica |
193 p. ; 22 cm
|
| Collana |
Testi per lo studio della logica matematica ; 001
|
| Titolo uniforme di collana |
Testi per lo studio della logica matematica ; 001.
|
| Note |
Tit. orig.: Completeness, compactness, and undecidability. An introduction to mathematical logic
|
| Nota di bibliografia |
Bibliografia: pp. [171]-172
|
| Classe di argomenti |
Filosofia. Logica. Epistemologia. Gnoseologia -- Logica matematica - Logica simbolica
|
| Classificazione |
642 G
|
| Livello bibliografico | Monografia |
| Formato |
Materiale linguistico
|
| Lingua |
Italiano
|
| Altri autori |
Cialdea, Marta, tr.
Cerrito, Serenella, tr. |
| Record Nr. | 137118BIB |
Catalogo integrato della Biblioteca e dell'Archivio Storico
