top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Autore Ebbinghaus, Heinz-Dieter
Edizione [2. rev. and enl. ed. 1999]
Pubbl/distr/stampa Berlin ; Heidelberg, : Springer, 2006
Descrizione fisica xi, 360 p. : ill. ; 24 cm
Soggetto non controllato Algorithm analysis and problem complexity
Automata
Boolean satisfiability problem
Complexity
Complexity theory
Finite model theory
Fixed-point logics
Logic
Model theory
Optimization
Theory of complexity
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00299765
Ebbinghaus, Heinz-Dieter  
Berlin ; Heidelberg, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
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
Opac: Controlla la disponibilità qui
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
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
Opac: Controlla la disponibilità qui
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
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
Opac: Controlla la disponibilità qui
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
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]
Soggetto non controllato Algorithm analysis and problem complexity
Automata
Boolean satisfiability problem
Complexity
Complexity theory
Finite model theory
Fixed-point logics
Logic
Model theory
Optimization
Theory of complexity
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
Opac: Controlla la disponibilità qui
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
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]
Soggetto non controllato Algorithm analysis and problem complexity
Automata
Boolean satisfiability problem
Complexity
Complexity theory
Finite model theory
Fixed-point logics
Logic
Model theory
Optimization
Theory of complexity
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00294069
Ebbinghaus, Heinz-Dieter  
Berlin, : Springer, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
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
Opac: Controlla la disponibilità qui
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
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
Opac: Controlla la disponibilità qui