Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • (2 other versions)Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1953 - Proceedings of the XIth International Congress of Philosophy 14:39-49.
    Download  
     
    Export citation  
     
    Bookmark   3 citations