Proceedings Of The 14th And 15th Asian Logic Conferences

ISBN: 9789813237544 出版年：2019 页码：310 Kim Byunghan World Scientific Publishing Company

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and 15th ALCs.