Mathematics Stack Exchange
Mathematics Stack Exchange

Wei Wang
458
reputation
  • 中国
  • Member since May 02 2014
  • 71 profile views
  • Last seen Dec 15 '23 at 07:50

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