カネコ　ヒロシ   KANEKO Hiroshi   金子 洋之    所属   専修大学  文学部    専修大学大学院  文学研究科    職種   教授
言語種別	日本語
発行・発表の年月	1988/07/01
形態種別	未選択
標題	推理規則と理論定項の意味-自然演繹と seguent 計算をめぐって
執筆形態	単著
掲載誌名	『北海道哲学会会報』第35号 北海道大学哲学会
巻・号・頁	11-19頁
総ページ数	9