On a reduction-procedure for full first order classical natural deduction - 文献詳細 - Ceek.jp Altmetrics

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

2012-12-05 08:30:12
1 + 0 Twitter

http://hdl.handle.net/2241/3486

言及状況

Twitter (1 users, 1 posts, 0 favorites)

収集済み URL リスト

https://tsukuba.repo.nii.ac.jp/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=12429&item_no=1&page_id=13&block_id=83 (1)