Switch to: References

Add citations

You must login to add citations.
  1. The theory of empirical sequences.Carl J. Posy - 1977 - Journal of Philosophical Logic 6 (1):47 - 81.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Principles of continuous choice and continuity of functions in formal systems for constructive mathematics.Michael J. Beeson - 1977 - Annals of Mathematical Logic 12 (3):249.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • A classical view of the intuitionistic continuum.Joan Rand Moschovakis - 1996 - Annals of Pure and Applied Logic 81 (1-3):9-24.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk.David Charles McCarty & Piotr Urbańczyk - 2016 - Zagadnienia Filozoficzne W Nauce 60:119-137.
    An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.
    Download  
     
    Export citation  
     
    Bookmark