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 model theory / Katrin Tent, Martin Ziegler
| A course in model theory / Katrin Tent, Martin Ziegler |
| Autore | Tent, Katrin |
| Pubbl/distr/stampa | Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 |
| Descrizione fisica | X, 248 p. ; 24 cm. |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] |
| ISBN | 978-05-217-6324-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0102407 |
Tent, Katrin
|
||
| Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A course in model theory / Katrin Tent, Martin Ziegler
| A course in model theory / Katrin Tent, Martin Ziegler |
| Autore | Tent, Katrin |
| Pubbl/distr/stampa | Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 |
| Descrizione fisica | X, 248 p. ; 24 cm. |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] |
| ISBN | 978-05-217-6324-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0102407 |
|
Tent, Katrin
|
||
| Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
A course in model theory / Katrin Tent, Martin Ziegler
| A course in model theory / Katrin Tent, Martin Ziegler |
| Autore | Tent, Katrin |
| Pubbl/distr/stampa | Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 |
| Descrizione fisica | X, 248 p. ; 24 cm |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] |
| ISBN | 978-05-217-6324-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0102407 |
|
Tent, Katrin
|
||
| Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Neue Nahverkehrssysteme : Verkehrsmittel der Zukunft / Martin Ziegler, Wolfgang Klemm
| Neue Nahverkehrssysteme : Verkehrsmittel der Zukunft / Martin Ziegler, Wolfgang Klemm |
| Autore | Ziegler, Martin |
| Pubbl/distr/stampa | Wiesbaden : Bauverlag, 1972 |
| Descrizione fisica | 184 p. : ill. ; 30 cm |
| Altri autori (Persone) | Klemm, Wolfgang |
| ISBN | 3762501815 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910271557303321 |
|
Ziegler, Martin
|
||
| Wiesbaden : Bauverlag, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Topological Model Theory / by FLUM and ZIE GLER
| Topological Model Theory / by FLUM and ZIE GLER |
| Autore | Flum, Jorg |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1980 |
| Collana | Lecture Notes in Mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001175160403321 |
|
Flum, Jorg
|
||
| Berlin [etc.] : Springer-Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Topological Model Theory / Jorg Flum , Martin Ziegler
| Topological Model Theory / Jorg Flum , Martin Ziegler |
| Autore | Flum, Jorg |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
| Descrizione fisica | 149 p. ; 24 cm |
| Disciplina | 516 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato |
Geometria
Topologia |
| ISBN | 3540097325 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002557210403321 |
|
Flum, Jorg
|
||
| Berlin : Springer Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Topological model theory / Jörg Flum, Martin Ziegler
| Topological model theory / Jörg Flum, Martin Ziegler |
| Autore | Flum, Jörg |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1980 |
| Descrizione fisica | X, 149 p. ; 25 cm. |
| Disciplina | 515.73 |
| Altri autori (Persone) | Ziegler, Martin |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Spazi topologici |
| ISBN | 3-540-09732-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000012998 |
|
Flum, Jörg
|
||
| Berlin [etc.] : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Topological model theory / Jorg Flum, Martin Ziegler
| Topological model theory / Jorg Flum, Martin Ziegler |
| Autore | Flum, Jörg |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | X, 149 p. ; 24 cm. |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03B60 - Other nonclassical logic [MSC 2020] 03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] 12Lxx - Connections between field theory and logic [MSC 2020] |
| ISBN | 978-35-400-9732-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0094210 |
|
Flum, Jörg
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Topological model theory / Jorg Flum, Martin Ziegler
| Topological model theory / Jorg Flum, Martin Ziegler |
| Autore | Flum, Jörg |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | X, 149 p. ; 24 cm |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03B60 - Other nonclassical logic [MSC 2020] 03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] 12Lxx - Connections between field theory and logic [MSC 2020] |
| Soggetto non controllato |
Model
Model theory Topological spaces |
| ISBN | 978-35-400-9732-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0094210 |
|
Flum, Jörg
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Topological model theory / Jorg Flum, Martin Ziegler
| Topological model theory / Jorg Flum, Martin Ziegler |
| Autore | Flum, Jörg |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | X, 149 p. ; 24 cm |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto non controllato |
Model
Model theory Topological spaces |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261728 |
|
Flum, Jörg
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||