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