117 reputation
8
bio website
location 中国
age
visits member for 3 years, 6 months
seen Nov 16 at 11:04
mainly work on computability and reverse mathematics, also interested in other areas of logic.

25 Votes Cast

all time   by type  
25 up 6 question
0 down 19 answer