Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: 安東 祐希 (著者)
  3. 1件

1 0 0 0 OA On a reduction-procedure for full first order classical natural deduction

著者
安東 祐希
巻号頁・発行日
1995
Thesis (Ph.D. in Mathematics)--University of Tsukuba, (A), no. 1351, 1995.3.23