Proceedings of the Sixth Asian Logic Conference
Auteur : Chi-Tat Chong
Date de publication : 1998
Éditeur : World Scientific
Nombre de pages : 356
Résumé du livre
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.