117 reputation
7
bio website
location 中国
age
visits member for 3 years, 3 months
seen yesterday
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