Logic and Proof/

相似书籍

• Logic and proof
  由: Bittinger, Marvin L
  出版: (1970)
• Introduction to mathematical proofs a transition
  由: Roberts, Charles E
  出版: (2010)
• Applied proof theory proof interpretations and their use in mathematics
  由: Kohlenbach. U.
  出版: (2008)
• Introduction to proof-reading
  由: Mallhi, N S
  出版: (1994)
• Proof theory: First step into impradictivity.
  由: Pohlers, Wolfram
  出版: (2009)