「論理的になりたければ接続語を意識的効果的に使えるようになると良い」というところが響いた。否定語や接続語のコアの意味を取り出して導入則と除去則の形で表すこと、それらを使って厳密に証明をする5章の内容、そして全て読んだ上で再度読み直す1章が面白かった。また、前書きにもあるが入門ということで記号はあまり出てこずに言葉と正面から向き合う感じがしたのも個人的には良かった。