The Logic Manual

一本适合大学课堂的逻辑起点：清晰、克制，并把证明写到纸面上。