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: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco
| 1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco |
| Autore | Abrusci, Vito M. |
| Edizione | [Milano : Springer, 2014] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) | Tortora de Falco, Lorenzo |
| Soggetto topico |
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0102494 |
Abrusci, Vito M.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
| 2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier |
| Autore | Cori, René |
| Pubbl/distr/stampa | Oxford, : Oxford University, 2001 |
| Descrizione fisica | XX, 331 p. : ill. ; 24 cm. |
| Altri autori (Persone) | Lascar, Daniel |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
| ISBN | 978-01-985005-0-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0021140 |
|
Cori, René
|
||
| Oxford, : Oxford University, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
| 2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier |
| Autore | Cori, René |
| Pubbl/distr/stampa | Oxford, : Oxford University, 2001 |
| Descrizione fisica | XX, 331 p. : ill. ; 24 cm |
| Altri autori (Persone) | Lascar, Daniel |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
| ISBN | 978-01-985005-0-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0021140 |
|
Cori, René
|
||
| Oxford, : Oxford University, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
| 2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier |
| Autore | Cori, René |
| Pubbl/distr/stampa | Oxford, : Oxford University, 2001 |
| Descrizione fisica | XX, 331 p. : ill. ; 24 cm |
| Altri autori (Persone) | Lascar, Daniel |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] |
| ISBN | 978-01-985005-0-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00021140 |
|
Cori, René
|
||
| Oxford, : Oxford University, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Henkin-Keisler Models / by George Weaver
| Henkin-Keisler Models / by George Weaver |
| Autore | Weaver, George E. |
| Pubbl/distr/stampa | Dordrecht [etc.], : Kluwer, 1997 |
| Descrizione fisica | xii, 253 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] |
| Soggetto non controllato |
Cardinality
Computer Science Computers Equivalence Logic Proofs Set Theory Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297753 |
|
Weaver, George E.
|
||
| Dordrecht [etc.], : Kluwer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and structure / Dirk van Dalen
| Logic and structure / Dirk van Dalen |
| Autore | Dalen, Dirk van |
| Edizione | [4. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2004 |
| Descrizione fisica | X, 263 p. ; 24 cm. |
| Soggetto topico |
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03B16 - Higher-order logic [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03B38 - Type theory [MSC 2020] |
| ISBN | 35-402-0879-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0060285 |
|
Dalen, Dirk van
|
||
| Berlin, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and structure / Dirk van Dalen
| Logic and structure / Dirk van Dalen |
| Autore | Dalen, Dirk van |
| Edizione | [4. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2004 |
| Descrizione fisica | X, 263 p. ; 24 cm |
| Soggetto topico |
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03B16 - Higher-order logic [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03B38 - Type theory [MSC 2020] |
| ISBN | 35-402-0879-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0060285 |
|
Dalen, Dirk van
|
||
| Berlin, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and structure / Dirk van Dalen
| Logic and structure / Dirk van Dalen |
| Autore | Dalen, Dirk van |
| Edizione | [4. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2004 |
| Descrizione fisica | X, 263 p. ; 24 cm |
| Soggetto topico |
03B10 - Classical first-order logic [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B38 - Type theory [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] |
| ISBN | 35-402-0879-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00060285 |
|
Dalen, Dirk van
|
||
| Berlin, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus, Heinz-Dieter |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | ix, 304 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Axiom system logic
Computability logic First-order language First-order logic Graduate mathematical logic Gödel’s completeness theorem Herbrand's theorem Infinitary languages Lindström’s theorem Logic computer science Mathematical logic Mathematical provability Model theory logic Presburger arithmetic Propositional logic Second order logic Trakhtenbrot’s theorem Weak monadic second order |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274931 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus, Heinz-Dieter |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | ix, 304 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03Bxx - General logic [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] |
| Soggetto non controllato |
Axiom system logic
Computability logic First-order language First-order logic Gödel incompleteness theorem Herbrand's theorem Infinitary languages Lindström’s theorem Logic computer science Mathematical logic Mathematical provability Model theory logic Presburger arithmetic Propositional logic Second order logic Trakhtenbrot’s theorem Weak monadic second order |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00274931 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
