Proceedings of the 14th and 15th Asian Logic ConferencesKim Byunghan, Jörg Brendle, Gyesik Lee · First published 2019Open the Tome
