Carl Mummert
|
Registered User
|
I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.
|
Click graph with mouse, or enter Start: End:
