Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A course in mathematical logic / J. L. Bell, M. Machover
| A course in mathematical logic / J. L. Bell, M. Machover |
| Autore | Bell, John Lane |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1977 |
| Soggetto non controllato | Logica matematica - Manuali |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001132260403321 |
Bell, John Lane
|
||
| Amsterdam : North-Holland, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A course in model theory : An itroduction to contemporary mathematical logic / Bruno Poizat
| A course in model theory : An itroduction to contemporary mathematical logic / Bruno Poizat |
| Autore | Poizat, Bruno |
| Pubbl/distr/stampa | New Work : Springer, c2000 |
| Descrizione fisica | xxxi, 443 p. ; 25 cm |
| Disciplina | 511.8 |
| Collana | Universitexts |
| Soggetto non controllato | Logica matematica - Manuali |
| ISBN | 0-387-98655-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001447390403321 |
|
Poizat, Bruno
|
||
| New Work : Springer, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduzione alla logica matematica / E. Mendelson
| Introduzione alla logica matematica / E. Mendelson |
| Autore | Mendelson, Elliott |
| Edizione | [Ristampa, 2010] |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1972 |
| Descrizione fisica | 353 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto non controllato | Logica matematica - Manuali |
| ISBN | 9788833952840 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009346030403321 |
|
Mendelson, Elliott
|
||
| Torino : Bollati Boringhieri, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduzione alla logica matematica / Elliott Mendelson
| Introduzione alla logica matematica / Elliott Mendelson |
| Autore | Mendelson, Elliott |
| Pubbl/distr/stampa | Torino : Boringhieri, 1972 |
| Descrizione fisica | 353 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Serie di logica matematica |
| Soggetto non controllato | Logica matematica - Manuali |
| ISBN | 978-88-339-5284-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001184020403321 |
|
Mendelson, Elliott
|
||
| Torino : Boringhieri, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica matematica : Corso introduttivo / Vito Michele Abrusci
| Logica matematica : Corso introduttivo / Vito Michele Abrusci |
| Autore | Abrusci, Vito Michele |
| Pubbl/distr/stampa | Bari : Laterza, 1991 |
| Descrizione fisica | 187 p. ; 24 cm |
| Disciplina | 510.3 |
| Soggetto non controllato | Logica matematica - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001330750403321 |
|
Abrusci, Vito Michele
|
||
| Bari : Laterza, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci
| Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci |
| Autore | Abrusci, Vito Michele |
| Pubbl/distr/stampa | Bari : Laterza, 1991 |
| Descrizione fisica | 194 p. ; 24 cm |
| Disciplina | 510.3 |
| Soggetto non controllato | Logica matematica - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001330760403321 |
|
Abrusci, Vito Michele
|
||
| Bari : Laterza, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets : naive ,axiomatic and applied / by Dalen ; Doets ; De Swart
| Sets : naive ,axiomatic and applied / by Dalen ; Doets ; De Swart |
| Autore | Dalen, Dirk van <1932- > |
| Pubbl/distr/stampa | Oxford [etc.] : Pergamon Press, 1978 |
| Collana | International series in pure and applied mathematics |
| Soggetto non controllato |
Teoria degli insiemi - Manuali
Logica matematica - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001143440403321 |
|
Dalen, Dirk van <1932- >
|
||
| Oxford [etc.] : Pergamon Press, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||