|
Search the dblp DataBase
Richard Sommer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David McMath, Marianna Rozenfeld, Richard Sommer
A Computer Environment for Writing Ordinary Mathematical Proofs. [Citation Graph (0, 0)][DBLP] LPAR, 2001, pp:507-516 [Conf]
- Richard Sommer
Transfinite Induction within Peano Arithmetic. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:76, n:3, pp:231-289 [Journal]
- Jeremy Avigad, Richard Sommer
A model-theoretic approach to ordinal analysis. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1997, v:3, n:1, pp:17-52 [Journal]
- Richard Sommer, Gregory Nuckols
A Proof Environment for Teaching Mathematics. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:32, n:3, pp:227-258 [Journal]
- Jeremy Avigad, Richard Sommer
The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:1, pp:327-349 [Journal]
Search in 0.001secs, Finished in 0.002secs
|