this issue
next article in this issue

Preview first page
Document Details :

Title: A Refinement of the Craig-Lyndon Interpolation Theorem for Classical First-Order Logic with Identity
Author(s): MILNE, Peter
Journal: Logique et Analyse
Volume: 240    Date: 2017   
Pages: 389-420
DOI: 10.2143/LEA.240.0.3254088



Download article

You can download this article as part of your online subscriptions as a registered user from


If you want to order a back-issue of this journal, click here