Proof theory: sequent calculi and related formalisms

Lignende værker

• Proof theory sequent calculi and related formalisms
  af: Bimbo, Katalin
  Udgivet: (2015)
• Proof theory: First step into impradictivity.
  af: Pohlers, Wolfram
  Udgivet: (2009)
• Proof theory
  af: Takeuti, Gaisi
  Udgivet: (1975)
• Proof analysis : a contribution to Hilbert's last problem /
  af: Negri, Sara, et al.
  Udgivet: (2011)
• Applied proof theory: Proof interpretations and their use in mathematics/
  af: Kohlenbach,Ulrich
  Udgivet: (2008)