大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
検索結果一覧
詳細検索
ジャンル検索
検索条件
一般件名
記号論理学-歴史
ハイライト
ON
OFF
SDI
1 ~ 2 件(全2 件)
本棚へ
タイトル
著者
出版年
NDC分類
昇順
降順
10件
25件
50件
1
万能コンピュータ
マーティン・デイヴィス/原著 -- 近代科学社 -- 2016.11 -- 410.96
貸出可
予約かごへ
2
ゲーデルと20世紀の論理学(ロジック) 1
田中 一之/編 -- 東京大学出版会 -- 2006.7 -- 410.9
貸出可
予約かごへ
本棚へ
タイトル
著者
出版年
NDC分類
昇順
降順
10件
25件
50件
SDI
1 ~ 2 件(全2 件)
絞り込みキー
資料形態
書誌・図書 (2)
著者
マーティン・デイヴィス (1)
沼田 寛 (1)
田中 一之 (1)
出版者
東京大学出版会 (1)
近代科学社 (1)
NDC分類
410.9 (1)
410.96 (1)
410.9 (1)
410.96 (1)
出版年
2012 - 2016 (1)
2002 - 2006 (1)
一般件名
記号論理学-歴史 (2)
コンピュータ-歴史 (1)
数学基礎論-歴史 (1)
個人件名
Gödel,Kurt (1)