本书详细介绍了看似抽象的逻辑和计算机科学学科可以用来分析和解决当代社会问题的许多方法。