横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
論理学
野矢茂樹
/著 --
東京大学出版会 -- 1994.02 -- 21cm -- 261p
予約申込
本棚へ
資料詳細
タイトル
論理学
著者名等
野矢茂樹
/著
出版
東京大学出版会 1994.02
大きさ等
21cm 261p
分類
116
件名
論理学
注記
参考文献:p251~253
目次
序論 論理と言語;第1章 命題論理;第2章 述語論理;第3章 パラドクス・形式主義・メタ論理;第4章 直観主義論理;第5章 不完全性定理;付録 命題論理の公理系LPの定理の証明
ISBN(13)、ISBN
4-13-012053-0
書誌番号
1194020956
ページの先頭へ
所蔵
所蔵は
3
件です。現在の予約件数は
1
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
5階人文科学
Map
116
一般書
利用可
-
2061349670
金沢
公開
116
一般書
予約準備中
-
2046101580
山内
公開
116
一般書
貸出中
-
2051208237
ページの先頭へ