1 reputation
2

Wei Wang

mainly work on computability and reverse mathematics, also interested in other areas of logic.