Proceedings Of The Sixth Asian Logic Conference

ISBN: 9789810234324 出版年：1998 页码：368 Chitat Chong Mariko Yasugi World Scientific Publishing Company

This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.