Logic and Structure - Dalen, Dirk Van