ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(著者名に左の語を含む: #林 晋)
該当件数:7件
パラドックス! / 林晋編著
東京 : 日本評論社 , 2000.7
図書 [BA47650615]
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
図書
プログラム検証論 / 林晋著
東京 : 共立出版 , 1995.9. - (情報数学講座 ; 8)
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子著 ; 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; Bー1374)
構成的プログラミングの基礎 / 林晋,小林聡共著
東京 : 遊星社 , 1991.4
図書 [BN06246326]
不完全性定理 / ゲーデル〔著〕 ; 林晋訳・解説 ; 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 33ー944ー1)
図書 [BA78367288]
はじめて学ぶ保険のしくみ / 家森信善編著 ; 浅井義裕, 小林毅, 林晋著
第3版. - [東京] : 中央経済社. - 東京 : 中央経済グループパブリッシング (発売) , 2020.3
図書 [BB29892937]
