Switch to: Citations

Add references

You must login to add references.
  1. The justification of deduction.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press.
    $5.00 used   $47.27 new   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark   102 citations  
  • [Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
    Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   90 citations  
  • Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations