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.
3.: Model Theory / Heinz-Dieter Ebbinghaus (Editor)
| 3.: Model Theory / Heinz-Dieter Ebbinghaus (Editor) |
| Pubbl/distr/stampa | Berlin, : Springer, 1987 |
| Descrizione fisica | XLV, 617 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A15 - Bibliographies for mathematics in general [MSC 2020] 03Cxx - Model theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] |
| Soggetto non controllato |
Computability theory
Mathematical logic Model theory Proofs Set Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0264350 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
3.: Model Theory / Heinz-Dieter Ebbinghaus (Editor)
| 3.: Model Theory / Heinz-Dieter Ebbinghaus (Editor) |
| Pubbl/distr/stampa | Berlin, : Springer, 1987 |
| Descrizione fisica | XLV, 617 p. : ill. ; 24 cm |
| Soggetto topico |
00A15 - Bibliographies for mathematics in general [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03Cxx - Model theory [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] |
| Soggetto non controllato |
Computability theory
Mathematical logic Model theory Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00264350 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava
| A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava |
| Autore | Sarbadhikari, Haimanti |
| Pubbl/distr/stampa | Singapore, : Springer, 2017 |
| Descrizione fisica | xix, 291 p. : ill. ; 24 cm |
| Altri autori (Persone) | Srivastava, Sashi Mohan |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| Soggetto non controllato |
Algebra
Forking Independence Löwenheim–Skolem Theorem Mathematical logic Minimal and O-Minimal Theories Model theory Monster Model Morley Categoricity Theorem Stable Theories |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123450 |
Sarbadhikari, Haimanti
|
||
| Singapore, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava
| A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava |
| Autore | Sarbadhikari, Haimanti |
| Pubbl/distr/stampa | Singapore, : Springer, 2017 |
| Descrizione fisica | xix, 291 p. : ill. ; 24 cm |
| Altri autori (Persone) | Srivastava, Sashi Mohan |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C35 - Categoricity and completeness of theories [MSC 2020] 03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| Soggetto non controllato |
Algebra
Forking Independence Löwenheim–Skolem Theorem Mathematical logic Minimal and O-Minimal Theories Model theory Monster Model Morley Categoricity Theorem Stable Theories |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00123450 |
|
Sarbadhikari, Haimanti
|
||
| Singapore, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 00B30 - Festschriften [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0275416 |
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
00B30 - Festschriften [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] 03Exx - Set theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00275416 |
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
| Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers |
| Pubbl/distr/stampa | Berlin, : Springer, 1973 |
| Descrizione fisica | ix, 660 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Logic
Mathematical logic Model theory Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255804 |
| Berlin, : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
| Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers |
| Pubbl/distr/stampa | Berlin, : Springer, 1973 |
| Descrizione fisica | ix, 660 p. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Logic
Mathematical logic Model theory Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00255804 |
| Berlin, : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin (ed.)
| Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin (ed.) |
| Pubbl/distr/stampa | Berlin, : Springer, 1987 |
| Descrizione fisica | 500 p. ; 24 cm |
| Soggetto topico | 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Mathematical logic Model theory |
| ISBN | 978-35-401-8674-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0071658 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / edited by J. T. Baldwin
| Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / edited by J. T. Baldwin |
| Pubbl/distr/stampa | Berlin, : Springer, 1987 |
| Descrizione fisica | 500 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Mathematical logic Model theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0264110 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
