Finite model theory
- Författare
- Heinz-Dieter Ebbinghaus
- (Heinz-Dieter Ebbinghaus, Jörg Flum.)
- Genre
- Bibliografi, Electronic books.
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c2006 | Tyskland, Berlin | xi, 360 sidor. ill. 24 cm. | 978-3-540-28788-9 |
| Springer | 1999 | Tyskland, Berlin | xiii, 360 sidor. ill. | |
| Springer | 1995 | Tyskland, Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Tokyo | xv, 327 S. : graph. Darst. 24 cm | 3-540-60149-X |