Proof theory: sequent calculi and related formalisms

অনুরূপ উপাদানগুলি

• Proof theory sequent calculi and related formalisms
  অনুযায়ী: Bimbo, Katalin
  প্রকাশিত: (2015)
• Proof theory: First step into impradictivity.
  অনুযায়ী: Pohlers, Wolfram
  প্রকাশিত: (2009)
• Proof theory
  অনুযায়ী: Takeuti, Gaisi
  প্রকাশিত: (1975)
• Proof analysis : a contribution to Hilbert's last problem /
  অনুযায়ী: Negri, Sara, অন্যান্য
  প্রকাশিত: (2011)
• Applied proof theory: Proof interpretations and their use in mathematics/
  অনুযায়ী: Kohlenbach,Ulrich
  প্রকাশিত: (2008)