ダウンロード

双対半ドモルガン代数のシ−ケントによる形式化