Login

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 I

Year: 1969

Source: Logic Colloquium

Pages: 391-401

Catalog