Craig's interpolation theorem for the intuitionistic logic of constant domains /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oslo :
Universitetet i Oslo, Matematisk institutt,
1971.
|
| Series: | Preprint series (Universitetet i Oslo. Matematisk institutt). Mathematics ;
1971, no. 22. |
| Subjects: |
| Physical Description: | 10 leaves ; 30 cm. |
|---|---|
| Bibliography: | Bibliography: leaf 10. |