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 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 |
| Edizione | [Singapore : Springer, 2017] |
| Pubbl/distr/stampa | xix, 291 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| 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] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0123450 |
|
Sarbadhikari, Haimanti
|
||
| xix, 291 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A course on set theory / Ernest Schimmerling
| A course on set theory / Ernest Schimmerling |
| Autore | Schimmerling, Ernest |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2011 |
| Descrizione fisica | ix, 168 p. : ill. ; 23 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| ISBN | 978-11-07-40048-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0125953 |
|
Schimmerling, Ernest
|
||
| Cambridge, : Cambridge university, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A course on set theory / Ernest Schimmerling
| A course on set theory / Ernest Schimmerling |
| Autore | Schimmerling, Ernest |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2011 |
| Descrizione fisica | ix, 168 p. : ill. ; 23 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| ISBN | 978-11-07-40048-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0125953 |
|
Schimmerling, Ernest
|
||
| Cambridge, : Cambridge university, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A delicate balance : global perspectives on innovation and tradition in the history of mathematics : a Festschrift in Honor of Joseph W. Dauben / David E. Rowe, Wann-Sheng Horng editors
| A delicate balance : global perspectives on innovation and tradition in the history of mathematics : a Festschrift in Honor of Joseph W. Dauben / David E. Rowe, Wann-Sheng Horng editors |
| Edizione | [[Cham] : Birkhauser : Springer, 2015] |
| Pubbl/distr/stampa | XIV, 428 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 01-XX - History and biography [MSC 2020] 00B30 - Festschriften [MSC 2020] 01A05 - General histories, source books [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0113275 |
| XIV, 428 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A delicate balance: global perspectives on innovation and tradition in the history of mathematics : a Festschrift in Honor of Joseph W. Dauben / David E. Rowe, Wann-Sheng Horng editors
| A delicate balance: global perspectives on innovation and tradition in the history of mathematics : a Festschrift in Honor of Joseph W. Dauben / David E. Rowe, Wann-Sheng Horng editors |
| Pubbl/distr/stampa | [Cham], : Birkhauser, : Springer, 2015 |
| Descrizione fisica | XIV, 428 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 01-XX - History and biography [MSC 2020] 00B30 - Festschriften [MSC 2020] 01A05 - General histories, source books [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Festschrift
Global perspectives History of mathematics Joseph W. Dauben Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113275 |
| [Cham], : Birkhauser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
| A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman |
| Autore | Hedman, Shawn |
| Pubbl/distr/stampa | Oxford, : Oxford university, 2004 |
| Descrizione fisica | XX, 431 p. : ill. ; 24 cm. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 01-985298-0-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0051461 |
|
Hedman, Shawn
|
||
| Oxford, : Oxford university, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
| A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman |
| Autore | Hedman, Shawn |
| Pubbl/distr/stampa | Oxford, : Oxford university, 2004 |
| Descrizione fisica | XX, 431 p. : ill. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 01-985298-0-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0051461 |
|
Hedman, Shawn
|
||
| Oxford, : Oxford university, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A mathematical introduction to logic / Herbert, B. Enderton
| A mathematical introduction to logic / Herbert, B. Enderton |
| Autore | Enderton, Herbert B. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | San Diego, : Academic, 2001 |
| Descrizione fisica | XII, 317 p. ; 24 cm. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-01-223-8452-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0081057 |
|
Enderton, Herbert B.
|
||
| San Diego, : Academic, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A mathematical introduction to logic / Herbert, B. Enderton
| A mathematical introduction to logic / Herbert, B. Enderton |
| Autore | Enderton, Herbert B. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | San Diego, : Academic, 2001 |
| Descrizione fisica | XII, 317 p. ; 24 cm. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-01-223-8452-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0081057 |
|
Enderton, Herbert B.
|
||
| San Diego, : Academic, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Soggetto topico
-
03-XX - Mathematical logic and foundations [MSC 2020]
(543)
- 03Exx - Set theory [MSC 2020] (59)
- 03Cxx - Model theory [MSC 2020] (28)
- 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] (25)
- 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] (24)