An Extension of the Craig-Lyndon Interpolation Theoremby Leon Henkin

✍ Scribed by Review by: M. A. Taitslin

• Book ID: 124963372
• Publisher: Association for Symbolic Logic
• Year: 1965
• Tongue: English
• Weight: 284 KB
• Volume: 30
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/2270596