Switch to: Citations

Add references

You must login to add references.
  1. Problems.Heinrich Scholz, G. Kreisel & Leon Henkin - 1952 - Journal of Symbolic Logic 17 (2):160.
    Download  
     
    Export citation  
     
    Bookmark   14 citations