ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(著者名に左の語を含む: #小野 寛晰)
該当件数:7件
プログラムの基礎理論 / 小野寛晰著
東京 : サイエンス社 , 1975. - (計算機ライブラリ ; 7)
図書 [BN00584982]
関係の代数 : 集合・順序・グラフ / 小野寛晰著
東京 : 教育出版 , 1974. - (シリーズ新しい応用の数学 ; 6 一松信,伊理正夫,竹内啓編)
図書 [BN00657248]
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
図書 [BN10526687]
情報代数 / 小野寛晰著
東京 : 共立出版 , 1994.2. - (情報数学講座 ; 第2巻)
図書
Proof theory and algebra in logic / Hiroakira Ono
Singapore : Springer , c2019. - (Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman)
図書 [BB28915469]
現代数理論理学序説 / 古森雄一 , 小野寛晰著
東京 : 日本評論社 , 2010.6
図書 [BB02425588]
Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman
Cham : Springer
図書 [BB25542547]
