Now showing items 1-1 of 1

  • Tools and techniques for formalising structural proof theory 

    Chapman, Peter (University of St Andrews, 2010-06) - Thesis
    Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment. Constructive syntactic proofs are ...