1 reputation
bio website
location 中国
visits member for 8 months
seen Aug 5 '14 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