99 followers XbMPr @XbandMPradar この書籍を購入しました。論理と証明のつながりが、とても分かりやすそうです。 A Logical Introduction to Proof https://t.co/jzFPXF6nLq 16 Aug 2017 Reply Repost Favourite