横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
数理論理学入門
角田譲
/著 --
朝倉書店 -- 1996.06 -- 21cm -- 211p
予約申込
本棚へ
資料詳細
タイトル
数理論理学入門
著者名等
角田譲
/著
出版
朝倉書店 1996.06
大きさ等
21cm 211p
分類
410.96
件名
記号論理学
目次
第1章 推論の形式;第2章 述語論理計算;第3章 演繹式計算;第4章 決定手続き
ISBN(13)、ISBN
4-254-11062-6
書誌番号
1196036888
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1196036888
ページの先頭へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
書庫
410.9/180
一般書
利用可
-
2008081673
ページの先頭へ