星取表 8月30日。都内数学科学生集合 (通称都数)で発表をする。 8月総会がオンラインで開催されています!!発表者はGさんで、タイトルは『集合論のブール代数値モデルとハイティング代数値モデル』です。#tosuu2020aug pic.twitter.com/HU1TrDZ3lq— 都内数…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。