Applied Proof Theory: Proof Interpretations and their use in Mathematics /

Benzer Materyaller

• Applied proof theory: Proof interpretations and their use in mathematics/
  Yazar:: Kohlenbach,Ulrich
  Baskı/Yayın Bilgisi: (2008)
• Applied proof theory proof interpretations and their use in mathematics
  Yazar:: Kohlenbach. U.
  Baskı/Yayın Bilgisi: (2008)
• Understanding mathematical proof
  Yazar:: Taylor, John
  Baskı/Yayın Bilgisi: (2014)
• Mathematical analysis and proof /
  Yazar:: Stirling, David S. G.
  Baskı/Yayın Bilgisi: (1997)
• Proof theory
  Yazar:: Takeuti, Gaisi
  Baskı/Yayın Bilgisi: (1975)