Completeness, compactness, and undecidability : an Introduction to mathematical logic / A. B. Manaster
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Manaster, Alfred B.
|
| Titolo: |
Completeness, compactness, and undecidability : an Introduction to mathematical logic / A. B. Manaster
|
| Pubblicazione: | New Jersey : Prentice-Hall, Inc., 1975 |
| Descrizione fisica: | VI, 154 p. ; 23 cm |
| Disciplina: | 511.3 |
| Titolo autorizzato: | Completeness, compactness, and undecidability |
| ISBN: | 0-13-164624-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990000852930403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | 02 21 B 13 |
| Opac: | Controlla la disponibilità qui |