閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
Masanobu_Toyooka_summary	pdf	185 KB	136

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権	open access
URI	https://hdl.handle.net/2115/92948
タイトル	An Investigation Into Addition of Classical Negation to First-Order and Generalized Intuitionistic Logic [an abstract of entire text]
	一階および一般化された直観主義論理に対する古典的否定の追加に関する探究 [全文の要約]
著者	著者名 豊岡, 正庸
言語	日本語
発行日	2024-06-28
出版者	Hokkaido University
記述	この博士論文全文の閲覧方法については、以下のサイトをご参照ください。
	https://www.lib.hokudai.ac.jp/dissertations/copy-guides/
学位授与機関	識別子 10101 機関名 北海道大学 Hokkaido University
学位授与番号	甲第16062号
学位名	博士(文学)
学位の審査委員	(主査) 教授 佐野 勝彦, 准教授 宮園 健吾, 教授 佐藤 知己, 准教授 大森 仁 （東北大学）
学位審査の研究科等	文学院（人文学専攻）
資源タイプ	博士論文
出版タイプ	Version of Record
関連情報 (references)	HDL https://hdl.handle.net/2115/92947

ホームへ戻る