6,486 reputation
12245
bio website science.marshall.edu/mummertc
location Marshall University
age 37
visits member for 5 years, 3 months
seen Jul 31 at 1:42
I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.