Books in “De Gruyter Series in Logic and Its Applications”