Finite Model Theory

• Main Author: Ebbinghaus, Heinz-Dieter, 1939-
• Other Authors: Flum, JΓΆrg
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
• Edition: Second Revised and Enlarged Edition 1999
• Series: Springer Monographs in Mathematics
• Subjects: Computer science; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Formal Languages; Λογική, Συμβολική και μαθηματική