大出晁 著
日常的な推論の方法に近いかたちで形式化された、直観主義論理と古典論理の中間のシステム。
「BOOKデータベース」より
[目次]
情報を取得できませんでした。
件が連想されています
ページトップへ