Switch to: Citations

Add references

You must login to add references.
  1. Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
    Download  
     
    Export citation  
     
    Bookmark   16 citations