Switch to: Citations

Add references

You must login to add references.
  1. The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
    This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.
    Download  
     
    Export citation  
     
    Bookmark   128 citations  
  • Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
    Download  
     
    Export citation  
     
    Bookmark   165 citations