作者
Lev D Beklemishev, Stephen Cook, Olivier Lessmann, Simon Thomas, Jeremy Avigad, Arnold Beckmann, Tim Carlson, Robert L Constable, Kosta Došen
发表日期
2003/3
期刊
The Bulletin of Symbolic Logic
卷号
9
期号
1
简介
The program included four tutorials, fourteen invited plenary lectures, and twenty-two talks in special sessions. The topics of the special sessions were (with organizers in parentheses): Computability Theory (S. Lempp, M. Lerman, and A. Sorbi); Non-monotonic logic (K. Schlechta and K. Segerberg); and, Set theory (A. Andretta and S. Friedman). Logic Colloquium 2002 had almost 200 participants from thirty countries representing the continents of Asia, Australia, Europe, and North and South America. Altogether, 107 talks were given, 5 posters were presented, and 17 additional papers were presented by title. The following tutorials were presented:
学术搜索中的文章
LD Beklemishev, S Cook, O Lessmann, S Thomas… - The Bulletin of Symbolic Logic, 2003