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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|