上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #鹿島 亮)
該当件数:4件
C言語による計算の理論 / 鹿島亮著
東京 : サイエンス社 , 2008.10. - (Computer science library ; 4)
図書 <1002004856>
コンピュータサイエンスにおける様相論理 / 鹿島亮著
東京 : 森北出版 , 2022.1
図書 <1003202385>
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
図書 <1002143129>
数学基礎論講義 : 不完全性定理とその発展 / 田中一之[ほか]著
東京 : 日本評論社 , 1997.3
図書 <1000285792>