Finite model theory /
Main Authors: | Ebbinghaus, Heinz-Dieter 1939- (Author, Autor/a), Flum, Jörg (Autor/a) |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlín :
Springer,
1999.
|
Edition: | 2. edition rev. and enl. |
Series: | Perspectives in mathematical logic
|
Subjects: |
Similar Items
-
The theory of models: proceedings of the 1963 International Symposium at Berkeley. /
by: Tarski, Alfred, et al.
Published: (1965) -
A course in model theory : an introduction to contemporary mathematical logic /
by: Poizat, Bruno, et al.
Published: (2000) -
Model theory /
by: Chang, C. C.
Published: (1973) -
A model-theoretic approach to proof theory /
by: Kotlarski, Henryk 1949-2008
Published: (2019) -
Hercules contra la Hidra y la muerte de Internet /
by: Piza Volio, Eduardo 1955-, et al.
Published: (2002)