walter de gruyter, berlin: de gruyter series in logic and its applications, vol. 7