国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:BSH:記号論理学
図書(32 件)
選択行を:
10件
20件
50件
32 件中の 1-10
1
2
3
4
資料名
所蔵館
責任表示
出版者
出版年
所在
1
1と0との物語
中央図書館
日野寛三著
東京図書出版
2012
中央5階
410.96||H 61
2
新しい論理序説 ( すうがくぶっくす ; 16 )
中央図書館
本橋信義著
朝倉書店
1997
中央5階
410.96||Mo 83
3
アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界
中央図書館
鶴川図書館
田代博司著
北樹出版
1995
中央3階
116.3||Ta 93
鶴川2階
116.3||Ta 93
4
完全性定理とモデル理論 ( ゲーデルと20世紀の論理学 (ロジック) ; 2 )
中央図書館
田中一之編
東京大学出版会
2006
中央2階
410.9||G 31||2
5
記号論理学
中央図書館
山本新, 入江俊夫, 田村高幸著
朝倉書店
2023
中央5階
410.96||Y 31
6
記号論理学入門
中央図書館
松原康夫著
創成社
2006
中央5階
410.96||Ma 73
7
記号論理入門 ( 哲学教科書シリーズ )
中央図書館
金子洋之著
産業図書
1994
中央3階
116.3||Ka 53
8
計算理論と数理論理学 = Mathematics of logic and computation
中央図書館
田中一之著
共立出版
2022
中央5階
410.96||Ta 84
9
ゲーデル・不完全性定理 : “理性の限界"の発見 ( ブルーバックス ; B-947 )
中央図書館
吉永良正著
講談社
1992
中央1階
10
ゲーデルの20世紀 ( ゲーデルと20世紀の論理学 (ロジック) ; 1 )
中央図書館
田中一之編
東京大学出版会
2006
中央2階
410.9||G 31||1
32 件中の 1-10
1
2
3
4
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。