古典論理と直観主義論理の違い、述語論理を使って自然言語的なものを記号化する、など論理学を取り巻く何となくの概念に触れることができた。 3章の自然演繹あたりが結構スパルタモードかも。