Public Professor Archive
東北大学 · 情報科学研究科
研究キーワードfirst-degree entailment・intuitionistic logic・paraconsistent logic・Nelson logic・ordered-pair semantics・proof theory
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
