Switch to: Citations

Add references

You must login to add references.
  1. Second-order quantifiers and the complexity of theories.J. T. Baldwin & S. Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (3):229-303.
    Download  
     
    Export citation  
     
    Bookmark   16 citations