| |
| 2004 | ||
|---|---|---|
| 5 | EE | Richard Sommer, Gregory Nuckols: A Proof Environment for Teaching Mathematics. J. Autom. Reasoning 32(3): 227-258 (2004) |
| 2001 | ||
| 4 | EE | David McMath, Marianna Rozenfeld, Richard Sommer: A Computer Environment for Writing Ordinary Mathematical Proofs. LPAR 2001: 507-516 |
| 1999 | ||
| 3 | Jeremy Avigad, Richard Sommer: The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. J. Symb. Log. 64(1): 327-349 (1999) | |
| 1997 | ||
| 2 | EE | Jeremy Avigad, Richard Sommer: A model-theoretic approach to ordinal analysis. Bulletin of Symbolic Logic 3(1): 17-52 (1997) |
| 1995 | ||
| 1 | Richard Sommer: Transfinite Induction within Peano Arithmetic. Ann. Pure Appl. Logic 76(3): 231-289 (1995) | |
| 1 | Jeremy Avigad | [2] [3] |
| 2 | David McMath | [4] |
| 3 | Gregory Nuckols | [5] |
| 4 | Marianna Rozenfeld | [4] |