Computer science logic : 13th International workshop, CSL '99 : 8th. Annual conference of the EACSL : Madrid, Spain, September 20-25, 1999 : proceedings / Jorg Flum ...[et al.] (eds.) |
Autore | International workshop. CSL '99 : 13th. : 1999 |
Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1999 |
Descrizione fisica | XI, 576 p. : ill. ; 22 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - madrid - 1999
elaboratori elettronici - programmazione - congressi - 1999 logica matematica - congressi - 1999 |
ISBN | 3-540-66536-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000209200203316 |
International workshop. CSL '99 : 13th. : 1999
![]() |
||
Berlino : Springer-Verlag, copyr. 1999 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Finite model theory / Heinz-Dieter Ebbinghaus |
Autore | Ebbinghaus, Heinz-Dieter |
Edizione | [Second revised and enlarged] |
Pubbl/distr/stampa | Berlin : Springer, 1999 |
Disciplina | 511.3 |
Soggetto non controllato |
Teoria sui modelli
Modelli finiti |
ISBN | 3-540-65758-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001439220403321 |
Ebbinghaus, Heinz-Dieter
![]() |
||
Berlin : Springer, 1999 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Finite model theory / Heiz-Dieter Ebbinghaus, Jorg Flum |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1995 |
Descrizione fisica | xv, 327 p. ; 24 cm |
Disciplina | 511.3 |
Collana | Perspectives in mathematical logic |
Soggetto non controllato |
Modelli finiti
Teoria della ricorsivita' Databases - Teoria |
ISBN | 3-540-60149-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001351220403321 |
Ebbinghaus, Heinz-Dieter
![]() |
||
Berlin : Springer-Verlag, 1995 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Topological Model Theory / by FLUM and ZIE GLER |
Autore | Flum, Jorg |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1980 |
Collana | Lecture Notes in Mathematics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001175160403321 |
Flum, Jorg
![]() |
||
Berlin [etc.] : Springer-Verlag, 1980 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Topological Model Theory / Jorg Flum , Martin Ziegler |
Autore | Flum, Jorg |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
Descrizione fisica | 149 p. ; 24 cm |
Disciplina | 516 |
Collana | Lecture notes in mathematics |
Soggetto non controllato |
Geometria
Topologia |
ISBN | 3540097325 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990002557210403321 |
Flum, Jorg
![]() |
||
Berlin : Springer Verlag, 1980 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Topological model theory / Jorg Flum, Martin Ziegler |
Autore | Flum, Jorg |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1980 |
Descrizione fisica | x, 149 p. : ill. ; 25 cm. |
Disciplina | 515.73 |
Altri autori (Persone) | Ziegler, Martinauthor |
Collana | Lecture notes in mathematics, 0075-8434 ; 769 |
Soggetto topico |
Model theory
Nonclassical logic Topological spaces |
ISBN | 3540097325 |
Classificazione |
AMS 03B60
AMS 46A99 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001450909707536 |
Flum, Jorg
![]() |
||
Berlin : Springer-Verlag, 1980 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|