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: |
Evans: Library Stacks
| Call Number: |
QA9.35 .J47 |
|
|---|---|---|
| Call Number | Status | Get It |
| QA9.35 .J47 | Available | |