Switch to: Citations

Add references

You must login to add references.
  1. An intuitiomstic completeness theorem for intuitionistic predicate logic.Wim Veldman - 1976 - Journal of Symbolic Logic 41 (1):159-166.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Intuitionismus.L. E. J. Brouwer & D. van Dalen - 1995 - Studia Logica 54 (3):423-424.
    Download  
     
    Export citation  
     
    Bookmark   9 citations