6,361 reputation
12144
bio website science.marshall.edu/mummertc
location Marshall University
age 36
visits member for 5 years, 1 month
seen 1 hour ago
I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.

This user has not participated in any bounties