Media type: E-Article Title: On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic Contributor: Makkai, Michael Published: Duke University Press, 1995 Published in: Notre Dame Journal of Formal Logic, 36 (1995) 3 Language: Not determined DOI: 10.1305/ndjfl/1040149353 ISSN: 0029-4527 Keywords: Logic Origination: Footnote: Access State: Open Access