The Work Failure of interpolation in constant domain intuitionistic logic The details The Author Grigori Mints The offers