994 followers yyyy/mm/dd @Zahlangabeheft 知らない本だけど一応メモ.一章ずつ./Richman (1981), Constructive Mathematics https://t.co/mFcMS4b2u7 #springerlink 27 Dec 2015 Reply Repost Favourite