Applied proof theory proof interpretations and thier use in mathematics

Những quyển sách tương tự

• Applied proof theory: Proof interpretations and their use in mathematics/
  Bằng: Kohlenbach,Ulrich
  Được phát hành: (2008)
• Applied proof theory proof interpretations and their use in mathematics
  Bằng: Kohlenbach. U.
  Được phát hành: (2008)
• Conjecture and proof
  Bằng: Laczkovich, Miklos
  Được phát hành: (2001)
• Applied proof theory : proof interpretations and their use in mathematics /
  Bằng: Kohlenbach, U.
  Được phát hành: (2008)
• Applied Proof Theory: Proof Interpretations and their use in Mathematics /
  Được phát hành: (2008)