国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(19)
1980年代
(10)
1990年代
(7)
2000年代
(12)
2010年代
(4)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(29)
雑誌
(21)
新聞
和古書・漢籍
博士論文
(2)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(1)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(11)
紙
(45)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 53 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Proof theory and algebra in logic (Short textbooks in logic)
Proof theory and algebra in logic (Short textbooks in logic)
紙
図書
Hiroakira Ono
Springer
[2019]
<MA41-D5>
国立国会図書館
全国の図書館
Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)
Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)
紙
図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.
Springer
[2020]
<H35-D4>
国立国会図書館
全国の図書館
Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)
Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)
紙
図書
Shier Ju, Hu Liu, Hiroakira Ono, editors.
Springer
[2015]
<H35-B17>
国立国会図書館
全国の図書館
現代数理論理学序説
現代数理論理学序説
紙
図書
古森雄一, 小野寛晰 著
日本評論社
2010.6
<MA41-J40>
国立国会図書館
全国の図書館
代数的方法による論理学の新たな展開
代数的方法による論理学の新たな展開
紙
図書
研究代表者 小野寛晰
[小野寛晰]
2008.6
全国の図書館
代数的方法による論理学の新たな展開
代数的方法による論理学の新たな展開
紙
図書
小野寛晰, 北陸先端科学技術大学院大学 [著]
[小野寛晰]
2005-2007
<Y151-H17540109>
国立国会図書館
Residuated lattices : an algebraic glimpse at substructural logics 1st ed
Residuated lattices : an algebraic glimpse at substructural logics 1st ed
紙
図書
Nikolaos Galatos ... [et al.]
Elsevier
2007
全国の図書館
非標準論理研究の新しい展開
非標準論理研究の新しい展開
紙
図書
小野, 寛晰, 北陸先端科学技術大学院大学
1998-2000
<Y151-H10440027>
国立国会図書館
部分構造論理と代数構造
部分構造論理と代数構造
紙
図書
研究代表者 小野寛晰
[小野寛晰]
2004.3
全国の図書館
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
紙
図書
editors, T. Arai ... [et al.]
World Scientific
c2010
全国の図書館
部分構造論理と代数構造
部分構造論理と代数構造
紙
図書
小野寛晰, 北陸先端科学技術大学院大学 [著]
[小野寛晰]
2001-2003
<Y151-H13640109>
国立国会図書館
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
紙
図書
editors, S.S. Goncharov, R. Downey, H. Ono
World Scientific
c2006
全国の図書館
情報代数 (情報数学講座 ; 第2巻)
情報代数 (情報数学講座 ; 第2巻)
紙
図書
小野寛晰 著
共立出版
1994.2
<MA67-E25>
国立国会図書館
全国の図書館
理論計算機科学における数理論理学の応用
理論計算機科学における数理論理学の応用
紙
図書
小野, 寛晰, 北陸先端科学技術大学院大学
1996-1997
<Y151-H08680356>
国立国会図書館
非標準論理研究の新しい展開
非標準論理研究の新しい展開
紙
図書
研究代表者 小野寛晰
[小野寛晰]
2001.3
全国の図書館
情報科学における論理 (情報数学セミナー)
情報科学における論理 (情報数学セミナー)
紙
図書
小野寛晰 著
日本評論社
1994.4
<MA41-E82>
国立国会図書館
全国の図書館
数学基礎論及び数理論理学の総合的研究
数学基礎論及び数理論理学の総合的研究
紙
図書
小野, 寛晰, 広島大学
1984-
<Y151-S59340011>
国立国会図書館
Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)
Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)
紙
図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam
[1995?]
<MA41-A104>
国立国会図書館
理論計算機科学における数理論理学の応用
理論計算機科学における数理論理学の応用
紙
図書
研究代表者 小野寛晰
[小野寛晰]
1998.3
全国の図書館
Decision Problems for the Intuitionistic Logic without Weakening Rule
Decision Problems for the Intuitionistic Logic without Weakening Rule
デジタル
文書・図像類
Kiriyama, Eiji, 小野, 寛晰
Research Institute of Fundamental Information Science, Kyushu University
1990-03-28
RIFIS Technical Report
23
インターネットで読める
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力