Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
    Download  
     
    Export citation  
     
    Bookmark   21 citations