白須 裕之 | 北陸先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
白須 裕之
東京大学大学院人文社会系研究科次世代人文学開発センター
-
白須 裕之
北陸先端科学技術大学院大学情報科学研究科
-
白須 裕之
School Of Information Science Jaist
著作論文
- Duality in super-intuitionistic and modal predicate logics
- Po-hyperdoctrinal semantics for substructural predicate logics
- Glueing of algebras for substructural logics