Switch to: Citations

Add references

You must login to add references.
  1. A constructive analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • (1 other version)On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):385-392.
    Download  
     
    Export citation  
     
    Bookmark   5 citations