Logic and structure. - Dalen Dirk Van (New York Springer-Verlag, 1983)