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 |
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 |
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 | ||
|
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 |
03B10 - Classical first-order logic [MSC 2020]
03Cxx - Model theory [MSC 2020] |
ISBN | 978-05-217-6324-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00102407 |
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 |
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 |
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 |
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 |
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 |
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 |
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 | ||
|