Handbook of SAT_1_SAT的历史

本章主要介绍了逻辑学的起源与发展，SAT的出现以及SAT相关的知识。

原书籍 幻灯片