Cover Image

Craig's interpolation theorem for the intuitionistic logic of constant domains /

Bibliographic Details
Main Author: Jervell, Herman Ruge
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:
Predicate calculus.
Intuitionistic mathematics.
Description
Physical Description:10 leaves ; 30 cm.
Bibliography:Bibliography: leaf 10.