Switch to: Citations

Add references

You must login to add references.
  1. Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace.Miklós Erdélyi-Szabó - 1997 - Mathematical Logic Quarterly 43 (3):343-354.
    We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.
    Download  
     
    Export citation  
     
    Bookmark   1 citation