Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | Berlino [etc.] : Springer, c1995 |
Descrizione fisica | XV, 327 p. : ill. ; 24 cm. |
Disciplina | 511.3 |
Altri autori (Persone) | Flum, Jörg |
Collana | Perspectives in Mathematical Logic |
Soggetto topico |
Teoria dei modelli
Logica matematica |
ISBN | 3-540-60149-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000011241 |
Ebbinghaus, Heinz-Dieter | ||
Berlino [etc.] : Springer, c1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | Berlin, : Springer, 1995 |
Descrizione fisica | XV, 327 p. : ill. ; 25 cm. |
Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] |
ISBN |
978-35-406-0149-4
35-406-0149-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055754 |
Ebbinghaus, Heinz-Dieter | ||
Berlin, : Springer, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | Berlin, : Springer, 1995 |
Descrizione fisica | XV, 327 p. : ill. ; 25 cm |
Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] |
ISBN |
35-406-0149-X
978-35-406-0149-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055754 |
Ebbinghaus, Heinz-Dieter | ||
Berlin, : Springer, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | Berlin, : Springer, 1995 |
Descrizione fisica | XV, 327 p. : ill. ; 25 cm |
Soggetto topico |
03C13 - Model theory of finite structures [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 68P15 - Database theory [MSC 2020] |
ISBN |
35-406-0149-X
978-35-406-0149-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00055754 |
Ebbinghaus, Heinz-Dieter | ||
Berlin, : Springer, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 |
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 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-VAN00274931 |
Ebbinghaus, Heinz-Dieter | ||
Cham, : Springer, 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas |
Autore | Ebbinghaus, Heinz-Dieter |
Edizione | [2. ed.] |
Pubbl/distr/stampa | New York [etc.] : Springer, c1994 |
Descrizione fisica | X, 289 p. ; 25 cm. |
Disciplina | 511.3 |
Altri autori (Persone) |
Flum, Jörg
Thomas, W. |
Collana | Undergraduate texts in mathematics |
Soggetto topico |
Logica simbolica
Logica matematica |
ISBN | 0-387-94258-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000015205 |
Ebbinghaus, Heinz-Dieter | ||
New York [etc.] : Springer, c1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas |
Autore | Ebbinghaus, Heinz-Dieter |
Edizione | [2. ed] |
Pubbl/distr/stampa | New York, : Springer, 1994 |
Descrizione fisica | X, 289 p. : ill. ; 24 cm. |
Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN |
03-87942-58-0
978-03-87942-58-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055788 |
Ebbinghaus, Heinz-Dieter | ||
New York, : Springer, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas |
Autore | Ebbinghaus, Heinz-Dieter |
Edizione | [2. ed] |
Pubbl/distr/stampa | New York, : Springer, 1994 |
Descrizione fisica | X, 289 p. : ill. ; 24 cm |
Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN |
03-87942-58-0
978-03-87942-58-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055788 |
Ebbinghaus, Heinz-Dieter | ||
New York, : Springer, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas |
Autore | Ebbinghaus, Heinz-Dieter |
Edizione | [2. ed] |
Pubbl/distr/stampa | New York, : Springer, 1994 |
Descrizione fisica | X, 289 p. : ill. ; 24 cm |
Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN |
03-87942-58-0
978-03-87942-58-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00055788 |
Ebbinghaus, Heinz-Dieter | ||
New York, : Springer, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|