著者典拠情報

著者標目形：
小野, 寛晰(1942-)||オノ, ヒロアキラ
属性：
Personal
日付：
1942
注記：
京都大・理解析研・助手
北陸先端科学技術大学院大学情報科学研究科教授
EDSRC:非標準論理研究の新しい展開 / 研究代表者 小野寛晰 ([小野寛晰], 2001.3)
著者典拠ID：
DA00640115


1.

図書
図書
1. 現代数理論理学序説
古森雄一 , 小野寛晰著
出版情報: 東京 : 日本評論社, 2010.6
所蔵情報: 図書館
2.

図書
図書
2. 情報代数
小野寛晰著
出版情報: 東京 : 共立出版, 1994.2
シリーズ名: 情報数学講座 ; 2
所蔵情報: 図書館, 研究室
3.

図書
図書
3. 情報科学における論理
小野寛晰著
出版情報: 東京 : 日本評論社, 1994.4
シリーズ名: 情報数学セミナー
所蔵情報: 図書館, 研究室
4.

図書
図書
4. 文科系の数学
小野寛晰著
出版情報: 東京 : 産業図書, 1982.12
所蔵情報: 図書館
5.

図書
図書
5. プログラムの基礎理論
小野寛晰著
出版情報: 東京 : サイエンス社, 1975.10
シリーズ名: 計算機ライブラリ ; 7
所蔵情報: 図書館
6.

図書
図書
6. 関係の代数 : 集合・順序・グラフ
小野寛晰著
出版情報: 東京 : 教育出版, 1974.9
シリーズ名: シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 6
所蔵情報: 図書館