Logic and structure. - Dslen, Dirk van (Universitext, 1994)