Craig's interpolation theorem for the intuitionistic logic of constant domains.
Series: Preprint series. Mathematics, 22
Publisher: Universitetet i Oslo, Matematisk institutt
Published: 1971
Place of publication: [Oslo
Language: eng
Number of pages: 10
Subjects: Predicate calculus.; Intuitionistic mathematics.
Notes: Bibliography: leaf 10.