Rodney G Downey-Jorg Brendle-Robert Goldblatt-Byunghan Kim Proceedings Of The 12th Asian Logic Conference - World Scientific 2013 ISBN: 9789814449267 Subjects--Topical Terms: LogicLogic, Symbolic and mathematical--Congresses.MATHEMATICS