给讨厌数学的人[.pdf]是入门数学逻辑的最佳读物