資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 学んでみよう!記号論理

高崎 金久／著 -- 日本評論社 -- 2014.8 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /410.9/5097/2014 7104453529 Digital BookShelf
2014/09/16 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-535-78760-5
ISBN13桁 978-4-535-78760-5
タイトル 学んでみよう!記号論理
タイトルカナ マナンデ ミヨウ キゴウ ロンリ
著者名 高崎 金久 ／著
著者名典拠番号

110003324560000

出版地 東京
出版者 日本評論社
出版者カナ ニホン ヒョウロンシャ
出版年 2014.8
ページ数 7, 212p
大きさ 21cm
価格 ¥2500
内容紹介 命題論理の考え方や意味論的諸概念、命題論理の演繹体系などを解説するほか、タブロー法、ハイティング代数、ヘンキンの定理の証明も紹介する。章末に練習問題を掲載。『数学セミナー』連載「記号論理の手習い」を加筆修正。
書誌・年譜・年表 文献:p189
一般件名 記号論理学-ndlsh-00565709
一般件名カナ キゴウロンリガク-00565709
一般件名 記号論理学
一般件名カナ キゴウ ロンリガク
一般件名典拠番号

510630200000000

分類：都立NDC10版 410.96
資料情報1 『学んでみよう!記号論理』　高崎 金久／著 　日本評論社　2014.8（所蔵館：中央　 請求記号：/410.9/5097/2014　 資料コード：7104453529）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152504114

ページの先頭へ