Blane Worley

ハイパーフォーマリズムとそれが論理システムや推論に与える影響を調べる。