在计算机软件高速发展的今天，仅仅简单的编程已经不再满足于人们需求了，现在很多软件设计者们都在研究如何将软件如现实社会紧密结合，《形式逻辑》这本书就是打开你思维的大门。