Proof theory

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

• Mathematical analysis and proof /
  অনুযায়ী: Stirling, David S. G.
  প্রকাশিত: (1997)
• Proof theory: First step into impradictivity.
  অনুযায়ী: Pohlers, Wolfram
  প্রকাশিত: (2009)
• 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)
• Proof theory: sequent calculi and related formalisms
  অনুযায়ী: Bimbo, Katalin
  প্রকাশিত: (2015)