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