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 | ||
| ||
Model theory : an introduction / David Marker
| Model theory : an introduction / David Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | New York, : Springer, 2002 |
| Descrizione fisica | VIII, 342 p. ; 24 cm. |
| Soggetto topico | 03Cxx - Model theory [MSC 2020] |
| ISBN | 8-0-387-98760-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052479 |
|
Marker, David
|
||
| New York, : Springer, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory : an introduction / David Marker
| Model theory : an introduction / David Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | New York, : Springer, 2002 |
| Descrizione fisica | VIII, 342 p. ; 24 cm |
| Soggetto topico | 03Cxx - Model theory [MSC 2020] |
| ISBN | 978-03-87987-60-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052479 |
|
Marker, David
|
||
| New York, : Springer, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory : an introduction / David Marker
| Model theory : an introduction / David Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | New York, : Springer, 2002 |
| Descrizione fisica | VIII, 342 p. ; 24 cm |
| Soggetto topico | 03Cxx - Model theory [MSC 2020] |
| ISBN | 978-03-87987-60-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00052479 |
|
Marker, David
|
||
| New York, : Springer, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of fields / D. Marker, M. Messmer, A. Pillay
| Model theory of fields / D. Marker, M. Messmer, A. Pillay |
| Autore | Marker, David |
| Pubbl/distr/stampa | Berlin, : Springer, 1996 |
| Descrizione fisica | VII, 154 p. ; 24 cm. |
| Altri autori (Persone) |
Messmer, Margit
Pillay, Anand |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| ISBN |
35-406-0741-2
978-35-406-0741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052463 |
|
Marker, David
|
||
| Berlin, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of fields / D. Marker, M. Messmer, A. Pillay
| Model theory of fields / D. Marker, M. Messmer, A. Pillay |
| Autore | Marker, David |
| Pubbl/distr/stampa | Berlin, : Springer, 1996 |
| Descrizione fisica | VII, 154 p. ; 24 cm |
| Altri autori (Persone) |
Messmer, Margit
Pillay, Anand |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| ISBN |
35-406-0741-2
978-35-406-0741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052463 |
|
Marker, David
|
||
| Berlin, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of fields / D. Marker, M. Messmer, A. Pillay
| Model theory of fields / D. Marker, M. Messmer, A. Pillay |
| Autore | Marker, David |
| Pubbl/distr/stampa | Berlin, : Springer, 1996 |
| Descrizione fisica | VII, 154 p. ; 24 cm |
| Altri autori (Persone) |
Messmer, Margit
Pillay, Anand |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| ISBN |
35-406-0741-2
978-35-406-0741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00052463 |
|
Marker, David
|
||
| Berlin, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory: an introduction / D. Marker
| Model theory: an introduction / D. Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | New York : Springer, c2002 |
| Descrizione fisica | viii, 342 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Graduate texts in mathematics |
| Soggetto non controllato |
Teoria dei modelli: an introduction
Logica matematica |
| ISBN | 0-387-98760-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001499110403321 |
|
Marker, David
|
||
| New York : Springer, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
