TY - BOOK AU - Jervell H R TI - Craig's interpolation theorem for the intuitionistic logic of constant domains U1 - 510.7 PY - 1971/// CY - Oslo PB - University KW - Mathematics ER -