117 reputation
8
bio website
location 中国
age
visits member for 3 years, 10 months
seen Feb 14 at 5:37
mainly work on computability and reverse mathematics, also interested in other areas of logic.

27 Votes Cast

all time   by type  
27 up 6 question
0 down 21 answer