Switch to: Citations

Add references

You must login to add references.
  1. Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
    Download  
     
    Export citation  
     
    Bookmark   166 citations  
  • Globalization of intui tionistic set theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (C):195-211.
    Download  
     
    Export citation  
     
    Bookmark   12 citations