Consequence Relations: An Introduction to the Lindenbaum-Tarski Method (Oxford Logic Guides) - 后果关系：林登鲍姆-塔尔斯基方法导论（牛津逻辑指南）