dblp.uni-trier.dewww.uni-trier.de

Richard Sommer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
5EERichard Sommer, Gregory Nuckols: A Proof Environment for Teaching Mathematics. J. Autom. Reasoning 32(3): 227-258 (2004)
2001
4EEDavid 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
2EEJeremy 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)

Coauthor Index

1Jeremy Avigad [2] [3]
2David McMath [4]
3Gregory Nuckols [5]
4Marianna Rozenfeld [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)