Logic and structure - Dalen, Dirk van 1932- (Universitext, 1980)