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
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
Logic colloquium, '87 : proc. colloquium held in Granada, Spain, July 20-25, 1987 / eds. H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido ... [et al.]
Logic colloquium, '87 : proc. colloquium held in Granada, Spain, July 20-25, 1987 / eds. H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido ... [et al.]
Autore Artalejo, Rodriguez M.
Pubbl/distr/stampa Amsterdam : North-Holland, 1989
Descrizione fisica x, 375 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Ebbinghaus, Heinz-Dieter
Fernandez-Prida Joaquin
Garrido, M.
Lascar, D.
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 129
Soggetto topico Logic - Congresses
Mathematics-philosophy - Congresses
ISBN 0444880224
Classificazione AMS 03-06
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001094899707536
Artalejo, Rodriguez M.  
Amsterdam : North-Holland, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
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 : Second edition / H. -D. Ebbinghaus, J. Flum, W. Thomas.
Mathematical Logic : Second edition / H. -D. Ebbinghaus, J. Flum, W. Thomas.
Autore Ebbinghaus, Heinz-Dieter
Edizione [2nd ed. -]
Pubbl/distr/stampa New York : Springer-Verlag, c1994
Descrizione fisica x, 289 p. : ill. ; 24 cm
Disciplina 511.3
Soggetto non controllato Logica matematica - Fondamenti
ISBN 0-387-94258-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001330380403321
Ebbinghaus, Heinz-Dieter  
New York : Springer-Verlag, c1994
Materiale a stampa
Lo trovi qui: Univ. Federico II
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
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-VAN0055788
Ebbinghaus, Heinz-Dieter  
New York, : Springer, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical Logic
Mathematical Logic
Autore Ebbinghaus, Heinz-Dieter
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1984
Collana Undergraduate Texts in Mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001243620403321
Ebbinghaus, Heinz-Dieter  
New York [etc.] : Springer-Verlag, 1984
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui