Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000MAIN
Print
1. 
Cover image for Granularity analysis for tutoring mathematical proofs
2. 
Cover image for Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers
3. 
Cover image for Adapting proofs-as-programs : the curry - howard protocol
4. 
Cover image for How to read and do proofs : an introduction to mathematical thought processes
5. 
Cover image for Proofs and types
6. 
Cover image for Proofs and refutations : the logic of mathematical discovery
7. 
Cover image for Mistakes in geometric proofs
8. 
Cover image for BUILDING PROOFS : A Practical Guide