The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising

The Asian Logic Conference is one of the largest meetings, and this volume represents work presented at, and arising from the 12th meeting. It collects a number

The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three ye

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathemati

Surveys on recent developments in the theory of algorithmic randomness and its interactions with other areas of mathematics.