6,211 reputation
12041
bio website science.marshall.edu/mummertc
location Marshall University
age 36
visits member for 4 years, 7 months
seen Nov 22 at 13:43
I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.