麻省理工的时序逻辑讲义。形象，深入，科学。