966 followers yyyy/mm/dd @Zahlangabeheft 私は知りませんが./Scarpellini (1971), Proof Theory and Intuitionistic Systems https://t.co/cwgdOYU6ER 27 Dec 2015 Reply Repost Favourite