Proofs and types /

相似书籍

• Granularity analysis for tutoring mathematical proofs /
  由: Schiller, Marvin R. G. 525500
  出版: (2011)
• Introduction to mathematical proofs : a transition /
  由: Roberts, Charles E., 1942-
  出版: (2009)
• Conditional and preferential logics : proof methods and theorem proving /
  由: 518526 Pozzato, Gian Luca
  出版: (c201)
• How to read and do proofs : an introduction to mathematical thought processes /
  由: 419318 Solow, Daniel
  出版: (2005)
• BUILDING PROOFS : A Practical Guide /
  由: 209827 Oliveira, Suely, et al.
  出版: (2016)