Type of document: Article

Language: English

Author(s): Gabbay, Dov M.

Title: Semantic Proof of Craig's Interpolation Theorem for Intuitionistic Logic and Extensions, Part II

Year: 1969

Source: Logic Colloquium

Pages: 403-410

Catalog