Logic and proof

類似資料

• Logic and Proof/
  著者:: Bittinger, Marvin L.
  出版事項: (1970)
• Applied proof theory proof interpretations and their use in mathematics
  著者:: Kohlenbach. U.
  出版事項: (2008)
• Introduction to mathematical proofs a transition
  著者:: Roberts, Charles E
  出版事項: (2010)
• Understanding mathematical proof
  著者:: Taylor, John
  出版事項: (2014)
• Applied Proof Theory: Proof Interpretations and their use in Mathematics /
  出版事項: (2008)