Search results
検索結果
文字コードの制約があるため、実際と異なる漢字あるいはヨミによる表示があります。ご了承ください。
1 件見つかりました。
- 上野,岳史 (ウエノ,タケシ) https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=ja&ACCN=1103104977
論文名 | 部分構造論理の自然演繹での定式化 |
論文名(欧文) | Natural Deductions for Substructural Logics |
学位授与年度 | 1999 |
学位種別/学位種類 | 1(課程博士) / 031(博士(理学)) |
報告番号 | 4977 |
学位授与年月日 | 2000-03-24 |
主査/副査 | 辻下,徹 / 吉田,知行 津田,一郎 中戸川,孝治 |
所在 | 理学部・中央図書室 |
配架番号 | 1930 |
備考 | |
内容の要旨と審査の要旨 | 4977_ueno.pdf |