1 reputation
2
bio website
location 中国
age
visits member for 4 months
seen Aug 5 at 7:40
mainly work on computability and reverse mathematics, also interested in other areas of logic.

This user has no recent reputation changes
This user has not answered any questions

0 Votes Cast

This user has not cast any votes