Switch to: Citations

Add references

You must login to add references.
  1. Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe.G. Hasenjaeger - 1953 - Journal of Symbolic Logic 18 (1):42-48.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
    Download  
     
    Export citation  
     
    Bookmark   111 citations