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.
Sets, models and proofs / Ieke Moerdijk, Jaap van Oosten
| Sets, models and proofs / Ieke Moerdijk, Jaap van Oosten |
| Autore | Moerdijk, Ieke |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xiv, 141 p. : ill. ; 24 cm |
| Altri autori (Persone) | Oosten, Jaap van |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Axiom of choice
Completeness theorem First-order logic Mathematical logic Model theory Proof tree Quantifier elimination Set Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124991 |
Moerdijk, Ieke
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sets, models and proofs / Ieke Moerdijk, Jaap van Oosten
| Sets, models and proofs / Ieke Moerdijk, Jaap van Oosten |
| Autore | Moerdijk, Ieke |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xiv, 141 p. : ill. ; 24 cm |
| Altri autori (Persone) | Oosten, Jaap van |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Axiom of choice
Completeness theorem First-order logic Mathematical logic Model theory Proof tree Quantifier elimination Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124991 |
|
Moerdijk, Ieke
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The life and work of Leon Henkin : essays on his contributions / María Manzano, Ildikó Sain, Enrique Alonso editors
| The life and work of Leon Henkin : essays on his contributions / María Manzano, Ildikó Sain, Enrique Alonso editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XXII, 351 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] |
| Soggetto non controllato |
Algebraic Logic
Completeness theorems Cylindric algebras Mathematical education Model theory Philosophical and foundation studies Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103949 |
| Cham, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The life and work of Leon Henkin : essays on his contributions / María Manzano, Ildikó Sain, Enrique Alonso editors
| The life and work of Leon Henkin : essays on his contributions / María Manzano, Ildikó Sain, Enrique Alonso editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XXII, 351 p. : ill. ; 24 cm |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Algebraic Logic
Completeness theorems Cylindric algebras Mathematical education Model theory Philosophical and foundation studies Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00103949 |
| Cham, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
| The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise |
| Pubbl/distr/stampa | Berlin, : Springer, 1968 |
| Descrizione fisica | vi, 270 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Computability theory Languages Logic Mathematical logic Model theory Proofs Syntax |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0254701 |
| Berlin, : Springer, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
| The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise |
| Pubbl/distr/stampa | Berlin, : Springer, 1968 |
| Descrizione fisica | vi, 270 p. ; 24 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Computability theory Languages Logic Mathematical logic Model theory Proofs Syntax |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00254701 |
| Berlin, : Springer, 1968 | ||
| 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 | ||
| ||
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 |
03B60 - Other nonclassical logic [MSC 2020]
03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [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-VAN00094210 |
|
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 |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] 12Jxx - Topological fields [MSC 2020] 13Jxx - Topological rings and modules [MSC 2020] 22-XX - Topological groups, Lie groups [MSC 2020] 22Axx - Topological and differentiable algebraic systems [MSC 2020] 46A16 - Not locally convex spaces (metrizable topological linear spaces, locally bounded spaces, quasi-Banach spaces, etc.) [MSC 2020] 54-XX - General topology [MSC 2020] 54A05 - Topological spaces and generalizations (closure spaces, etc.) [MSC 2020] 54D10 - Lower separation axioms ($T_0$–$T_3$, etc.) [MSC 2020] |
| Soggetto non controllato |
Model
Model theory Topological spaces |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00261728 |
|
Flum, Jörg
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
