上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #林 晋)
該当件数:9件
パラドックス! = paradox! / 林晋編著
東京 : 日本評論社 , 2000.7
図書 <1001168987>
プログラム検証論 / 林晋著
東京 : 共立出版 , 1995.9. - (情報数学講座 / 廣瀬健 [ほか] 編集委員 ; 8)
図書 <1000269188>
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男[ほか]編 ; 3)
図書 <1000152945>
構成的プログラミングの基礎 / 林晋, 小林聡共著
東京 : 遊星社. - 東京 : 星雲社(発売) , 1991.4
図書 <1000204123>
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
図書 <1000245829>
お話・数学基礎論 : 数学では必ず正しい結論に到着できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
図書 <1001377806>
情報系の数学入門 / 林晋, 八杉満利子共著
東京 : オーム社 , 1993.9
図書 <1000243421>
不完全性定理 / ゲーデル著 ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
図書 <1001773220>
はじめて学ぶ保険のしくみ / 家森信善編著 ; 浅井義裕, 小林毅, 林晋著
第3版. - [東京] : 中央経済社. - 東京 : 中央経済グループパブリッシング(発売) , 2020.3
図書 <1003107756>