Applied proof theory proof interpretations and thier use in mathematics

समान संसाधन

• Applied proof theory: Proof interpretations and their use in mathematics/
  द्वारा: Kohlenbach,Ulrich
  प्रकाशित: (2008)
• Applied proof theory proof interpretations and their use in mathematics
  द्वारा: Kohlenbach. U.
  प्रकाशित: (2008)
• Conjecture and proof
  द्वारा: Laczkovich, Miklos
  प्रकाशित: (2001)
• Applied proof theory : proof interpretations and their use in mathematics /
  द्वारा: Kohlenbach, U.
  प्रकाशित: (2008)
• Applied Proof Theory: Proof Interpretations and their use in Mathematics /
  प्रकाशित: (2008)