Non-classical logics, model theory and computability. - North-Holland Publishing Comp., 1977. - ( Studies in Logic ; 89).