Switch to: References

Add citations

You must login to add citations.
  1. How to Construct a Product of a‚ÄźFrames.Douglas S. Bridges - 2012 - Mathematical Logic Quarterly 58 (4-5):281-293.
    It is shown how, under certain circumstances and within Bishop-style constructive mathematics, one can construct a product of two a-frames.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Almost New Pre-Apartness From Old.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (8):1009-1015.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Reflections on Function Spaces.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (2):101-110.