Granularity analysis for tutoring mathematical proofs /

相似书籍

• Introduction to mathematical proofs : a transition /
  由: Roberts, Charles E., 1942-
  出版: (2009)
• How to read and do proofs : an introduction to mathematical thought processes /
  由: 419318 Solow, Daniel
  出版: (2005)
• Proofs and types /
  由: 291662 Girard, Jean-Yves, et al.
  出版: (1989)
• Logic, proof and sets /
  由: 388844 Bittinger, Marvin L.
  出版: (1982)
• Conditional and preferential logics : proof methods and theorem proving /
  由: 518526 Pozzato, Gian Luca
  出版: (c201)