Finite model theory / Heinz-Dieter Ebbinghaus ; Jörg Flum
By: Ebbinghaus, Heinz-Dieter.
Contributor(s): Flum, Jörg.
Material type:
TextSeries: Perspectives in mathematical logic ; Perspectives in mathematical logic99-0146385-8. Publisher: Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Tokyo Springer 1995Description: xv, 327 S. graph. Darst. 24 cm.ISBN: 354060149X (Pp.).Subject(s): Modelltheorie | LogikOther classification: 511 | Dc
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book (loan) | Gräsvik | 511 (Browse shelf) | Available | 80013802412 |
Literaturverz. S. 313 - 317
There are no comments for this item.