Switch to: References

Citations of:

Elements of Intuitionism

Oxford, England: Clarendon Press (1977)

Add citations

You must login to add citations.
  1. Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 973--1052.
    Download  
     
    Export citation  
     
    Bookmark   9 citations