Logic and structure - Dalen, D. van 1932- (Universitext, 2004)