Switch to: Citations

Add references

You must login to add references.
  1. Taking out LK parts from a proof in peano arithmetic.Tsuyoshi Yukami - 1986 - Journal of Symbolic Logic 51 (3):682-700.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The number of proof lines and the size of proofs in first order logic.Jan Krajíček & Pavel Pudlák - 1988 - Archive for Mathematical Logic 27 (1):69-84.
    Download  
     
    Export citation  
     
    Bookmark   22 citations