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