just a moment - redirecting to
http://logic.sysu.edu.cn/information/TrendsInLogic.htm