Similar Items

• Proof Theory : Sequent Calculi and Related Formalisms Katalin Bimbo.
  by: Bimbo, Katalin
• Proof theory and logical complexity Jean-Yves Girard.
  by: Girard, Jean-Yves
• Basic proof theory A.S. Troelstra, H. Schwichtenberg.
  by: Troelstra, A. S.
• The nuts and bolts of proofs Antonella Cupillari.
  by: Cupillari, Antonella
• Mathematical proofs : a transition to advanced mathematics Gary Chartrand, Albert D. Polimeni, Ping Zhang.
  by: Chartrand, Gary