Switch to: Citations

Add references

You must login to add references.
  1. Higher-order Logic.Johan van Benthem & Kees Doets - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.
    Download  
     
    Export citation  
     
    Bookmark   10 citations