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.
An Invitation to Mathematical Logic / David Marker
| An Invitation to Mathematical Logic / David Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | Cham, : Springer, 2024 |
| Descrizione fisica | xviii, 357 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Completeness theorem
Computability Godel's completeness Gödel incompleteness theorem Hilbert's 10th problem Incompleteness theorem Logic for Computer Science Logic for philosophy Marker GTM Mathematical logic Model theory introduction Peano arithmetic Quantifier elimination Turing reducibility Ultraproducts |
| ISBN | 978-30-315-5367-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283788 |
Marker, David
|
||
| Cham, : Springer, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Decidability of Logical Theories and Their Combination / João Rasga, Cristina Sernadas
| Decidability of Logical Theories and Their Combination / João Rasga, Cristina Sernadas |
| Autore | Rasga, João |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2020 |
| Descrizione fisica | xiii, 178 p. : ill. ; 24 cm |
| Altri autori (Persone) | Sernadas, Cristina |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Combination of first-order logical theories
Craig interpolation Decidability of first-order logical theories First-order logical theories Gentzen Calculus Gentzen calculus for first-order logic Quantifier elimination Quantifier elimination first-order logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248973 |
|
Rasga, João
|
||
| Cham, : Birkhäuser, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Decidability of Logical Theories and Their Combination / João Rasga, Cristina Sernadas
| Decidability of Logical Theories and Their Combination / João Rasga, Cristina Sernadas |
| Autore | Rasga, João |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2020 |
| Descrizione fisica | xiii, 178 p. : ill. ; 24 cm |
| Altri autori (Persone) | Sernadas, Cristina |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] |
| Soggetto non controllato |
Combination of first-order logical theories
Craig interpolation Decidability of first-order logical theories First-order logical theories Gentzen Calculus Gentzen calculus for first-order logic Quantifier elimination Quantifier elimination first-order logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248973 |
|
Rasga, João
|
||
| Cham, : Birkhäuser, : Springer, 2020 | ||
| 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]
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 | ||
| ||