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.
1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| 1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 205 p. : ill. ; 24 cm |
| Soggetto non controllato |
Foundations of mathematics
General philosophy of science History of mathematics and logic Mathematical logic Philosophy of mathematics and logic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276932 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| 1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 205 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] 01A80 - Sociology (and profession) of mathematics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Foundations of mathematics
General philosophy of science History of mathematics and logic Mathematical logic Philosophy of mathematics and logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00276932 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| 2 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 287 p. : ill. ; 24 cm |
| Soggetto non controllato |
Foundations of mathematics
General philosophy of science History of mathematics and logic Mathematical logic Philosophy of mathematics and logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276934 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| 2 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 287 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] 01A80 - Sociology (and profession) of mathematics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Foundations of mathematics
General philosophy of science History of mathematics and logic Mathematical logic Philosophy of mathematics and logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00276934 |
| Cham, : Springer, 2022 | ||
| 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 |
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 in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentation theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0268046 |
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03G12 - Quantum logic [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentations Theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00268046 |
|
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| 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 | ||
| ||
