| Original language | English (US) |
|---|---|
| Title of host publication | The Best Writing on Mathematics 2014 |
| Editors | M. Pitici |
| Publisher | Princeton University |
| Pages | 198-215 |
| State | Published - 2014 |
Generic Proving: Reflections on scope and method
Uri Leron, Orit Zaslavsky
Research output: Chapter in Book/Report/Conference proceeding › Chapter