Logic and structure - Dalen, D. van (Dirk), 1932- (Springer-Verlag, 2004)