117 reputation
8
bio website
location 中国
age
visits member for 4 years, 3 months
seen Jul 8 at 8:16
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