5,692 reputation
11938
bio website science.marshall.edu/mummertc
location Marshall University
age 35
visits member for 4 years
seen 9 hours ago
I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.