Switch to: Citations

Add references

You must login to add references.
  1. Conceptual completeness for first-order Intuitionistic logic: an application of categorical logic.Andrew M. Pitts - 1989 - Annals of Pure and Applied Logic 41 (1):33-81.
    Download  
     
    Export citation  
     
    Bookmark   9 citations