Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: 和泉 孔二 (著者)
  3. 1件

2 0 0 0 双対直観主義命題論理計算DLJのGentzen流形式化

著者
和泉 孔二
出版者
阪南大学学会
雑誌
阪南論集 人文・自然科学編 (ISSN:03881822)
巻号頁・発行日
vol.25, no.1, pp.p115-126, 1989