Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

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

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

言及状況

Twitter (2 users, 2 posts, 0 favorites)

収集済み URL リスト