核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:5件
論理と意味 / 長尾真, 淵一博 [著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
図書
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
コンピュータによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳
東京 : 日本コンピュータ協会 , 1983.9. - (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27)
帰納と類比 / G.ポリア著 ; 柴垣和三雄訳
東京 : 丸善 , 1959.1. - (数学における発見はいかになされるか / ポリア [著] ; 1)
絵のパラドクスと言葉のパラドクス / 吉田夏彦著
東京 : 岩波書店 , 1986.10. - (New science age ; 21)