Proof theory: sequent calculi and related formalisms

Samankaltaisia teoksia

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