de Gruyter Series in Logic and Its Applications