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  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 |
