論理学の両本：復刊数理論理学 (著) 松本和夫

数理論理学の基本がコンパクトにまとまっている。数理論理学の入門書はたくさんあり、それぞれまとめ方が異なるが、本書は直観主義論理の前提や背景について説明してあるのが特徴。論理学は心の産物であるため、こうした直観主義論理のそのものの知識だけではなく、その背景が分かるのは嬉しい。