Switch to: Citations

Add references

You must login to add references.
  1. Algebra of proofs.M. E. Szabo - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
    Download  
     
    Export citation  
     
    Bookmark   33 citations