Switch to: References

Add citations

You must login to add citations.
  1. Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Brouwer's constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.
  • The knowing mathematician.Nicolas D. Goodman - 1984 - Synthese 60 (1):21 - 38.