Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas |
Autore | Ebbinghaus, Heinz-Dieter |
Edizione | [2. ed.] |
Pubbl/distr/stampa | New York [etc.] : Springer, c1994 |
Descrizione fisica | X, 289 p. ; 25 cm. |
Disciplina | 511.3 |
Altri autori (Persone) |
Flum, Jörg
Thomas, W. |
Collana | Undergraduate texts in mathematics |
Soggetto topico |
Logica simbolica
Logica matematica |
ISBN | 0-387-94258-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000015205 |
Ebbinghaus, Heinz-Dieter | ||
New York [etc.] : Springer, c1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | New York [etc.] : Springer, c1984 |
Descrizione fisica | IX, 216 p. ; 25 cm. |
Disciplina | 511.3 |
Altri autori (Persone) |
Flum, Jörg
Thomas, W. |
Collana | Undergraduate texts in mathematics |
Soggetto topico |
Logica simbolica
Logica matematica |
ISBN | 0-387-90895-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000015196 |
Ebbinghaus, Heinz-Dieter | ||
New York [etc.] : Springer, c1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|