Logic and structure - Dalen Dirk Van (Berlin Springer-Verlag, 1994)
Keywords: Mathematical logic