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 |