966 followers yyyy/mm/dd @Zahlangabeheft 知らない本だけど一応メモ./Slisenko (1969), Studies in Constructive Mathematics and Mathematical Logic https://t.co/RWbdt2frIG 27 Dec 2015 Reply Repost Favourite