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.
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives / Calixto Badesa ; translated by Michael Maudsley ; revised by the author
| The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives / Calixto Badesa ; translated by Michael Maudsley ; revised by the author |
| Autore | Badesa, Calixto |
| Pubbl/distr/stampa | Princeton, : Princeton university, 2004 |
| Descrizione fisica | XIII, 240 p. ; 24 cm. |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] |
| ISBN | 978-06-910585-3-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052060 |
Badesa, Calixto
|
||
| Princeton, : Princeton university, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives / Calixto Badesa ; translated by Michael Maudsley ; revised by the author
| The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives / Calixto Badesa ; translated by Michael Maudsley ; revised by the author |
| Autore | Badesa, Calixto |
| Pubbl/distr/stampa | Princeton, : Princeton university, 2004 |
| Descrizione fisica | XIII, 240 p. ; 24 cm |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] |
| ISBN | 978-06-910585-3-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052060 |
|
Badesa, Calixto
|
||
| Princeton, : Princeton university, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
| The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich |
| Autore | Börger, Egon |
| Pubbl/distr/stampa | Berlin, : Springer, 1997 |
| Descrizione fisica | XII, 482 p : ill ; 24 cm. |
| Altri autori (Persone) |
Grädel, Erich
Gurevich, Yuri |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN |
03-87570-73-X
978-35-405-7073-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053137 |
|
Börger, Egon
|
||
| Berlin, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
| The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich |
| Autore | Börger, Egon |
| Pubbl/distr/stampa | Berlin, : Springer, 1997 |
| Descrizione fisica | XII, 482 p : ill ; 24 cm |
| Altri autori (Persone) |
Grädel, Erich
Gurevich, Yuri |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN |
03-87570-73-X
978-35-405-7073-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053137 |
|
Börger, Egon
|
||
| Berlin, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Theory of Gödel / Carlo Cellucci
| The Theory of Gödel / Carlo Cellucci |
| Autore | Cellucci, Carlo |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | ix, 159 p. : ill. ; 24 cm |
| Soggetto topico |
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Foundations of mathematics
Hilbert's Programs Incompleteness theorems Limitative results Philosophy of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0278209 |
|
Cellucci, Carlo
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Theory of relations / Roland Fraisse ; with an appendix by Norbert Sauer
| Theory of relations / Roland Fraisse ; with an appendix by Norbert Sauer |
| Autore | Fraisse, Roland |
| Edizione | [Rev. ed] |
| Pubbl/distr/stampa | Amsterdam [etc.], : Elsevier, 2000 |
| Descrizione fisica | 451 p. ; 24 cm |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03E05 - Other combinatorial set theory [MSC 2020] |
| ISBN | 8-0-444-50542-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0092534 |
|
Fraisse, Roland
|
||
| Amsterdam [etc.], : Elsevier, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Theory of relations / Roland Fraisse ; with an appendix by Norbert Sauer
| Theory of relations / Roland Fraisse ; with an appendix by Norbert Sauer |
| Autore | Fraisse, Roland |
| Edizione | [Rev. ed] |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2000 |
| Descrizione fisica | 451 p. ; 24 cm |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03E05 - Other combinatorial set theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0092534 |
|
Fraisse, Roland
|
||
| Amsterdam, : Elsevier, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tits buildings and the model theory of groups / edited by Katrin Tent
| Tits buildings and the model theory of groups / edited by Katrin Tent |
| Pubbl/distr/stampa | Cambridge, : Cambridge university Press, 2002 |
| Descrizione fisica | X, 298 p. ; 23 cm. |
| Soggetto topico |
20E42 - Groups with a BN-pair; buildings [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| ISBN | 978-05-210-1063-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050056 |
| Cambridge, : Cambridge university Press, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tits buildings and the model theory of groups / edited by Katrin Tent
| Tits buildings and the model theory of groups / edited by Katrin Tent |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2002 |
| Descrizione fisica | X, 298 p. ; 23 cm |
| Soggetto topico |
20E42 - Groups with a BN-pair; buildings [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| ISBN | 978-05-210-1063-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050056 |
| Cambridge, : Cambridge university, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Volume 1
| Volume 1 |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 2008 |
| Descrizione fisica | XV, 335 p. ; 23 cm |
| Soggetto topico | 03Cxx - Model theory [MSC 2020] |
| ISBN | 978-05-216-9484-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0065122 |
| Cambridge, : Cambridge University, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
