Top 1200 proof ontological PDF Book Page 49

book image

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
·248 Pages
·2001
·1.731 MB

book image

Advances in Mathematics Education Research on Proof and Proving: An International Perspective

Andreas J. Stylianides,Guershon Harel (eds.)
·298 Pages
·2018
·5.942 MB