Switch to: Citations

Add references

You must login to add references.
  1. Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
    Download  
     
    Export citation  
     
    Bookmark   28 citations