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.
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.)
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Finite model theory / Heinz-Dieter Ebbinghaus
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Finite model theory / Heiz-Dieter Ebbinghaus, Jorg Flum
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
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 | ||
| ||
Topological Model Theory / by FLUM and ZIE GLER
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Topological Model Theory / Jorg Flum , Martin Ziegler
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Topological model theory / Jorg Flum, Martin Ziegler
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||