ログイン
ヘルプ
×終了
日本語
|
English
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:NDLSH:記号論理学
図書(7 件)
選択行を:
10件
20件
50件
資料名
所蔵館
責任表示
出版者
出版年
所在
1
記号論理学
徳志館書庫
清水義夫著
東京大学出版会
1984
徳志館書庫:2F-1
116.3||Sh49k
2
現代論理学の基礎 : 経済学での応用例
亀岡本館
太秦北館
L.チャイカ 著, 飛田就一, 木戸正幸 訳
富士書店
1983
亀岡本館:書庫
116.3||C99g
太秦北館:閲覧室
116.3||C99g
3
集合・論理と位相 ( 基幹講座数学 )
太秦南館
新井敏康著, 基幹講座数学編集委員会編
東京図書
2016
太秦南館:5階閲覧室
410.9||A62s
4
数学の言葉と論理 ( 現代基礎数学 ; 1 )
太秦南館
渡辺治 [ほか] 著
朝倉書店
2008
太秦南館:5階閲覧室
410.9||Su23
5
数理基礎論講義 : 論理・集合・位相 ( ライブラリ数理・情報系の数学講義 ; 1 )
太秦南館
金子晃著
サイエンス社
2010
太秦南館:5階閲覧室
410.9||Ka53s
6
ソフトウェア科学のための論理学 ( 岩波講座ソフトウェア科学 ; 11 )
亀岡本館
萩谷昌己 [著]
岩波書店
1994
亀岡本館:書庫
007.63||I95||11
7
論理と意味 ( 岩波講座情報科学 ; 7 )
亀岡本館
長尾真, 淵一博 [著]
岩波書店
1983
亀岡本館:書庫
401||I95||7
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。