資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 記号論理学入門

松原 康夫／著 -- 創成社 -- 2006.11 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

ISBN 4-7944-2245-8
タイトル 記号論理学入門
タイトルカナ キゴウ ロンリガク ニュウモン
著者名 松原 康夫 ／著
著者名典拠番号

110004858590000

並列タイトル INTRODUCTION TO SYMBOLIC LOGIC
出版地 東京
出版者 創成社
出版者カナ ソウセイシャ
出版年 2006.11
ページ数 8, 182p
大きさ 21cm
価格 ¥2200
内容紹介 命題論理および述語論理が、単なる記述手段としてだけではなく、現実の問題の論証に実際に使われるようになるように、公理系に少し触れるとともに導出原理についても取り上げ、決定不可能性について紙数を割いたテキスト。
一般件名 記号論理学
一般件名カナ キゴウロンリガク
一般件名 記号論理学
一般件名カナ キゴウ ロンリガク
一般件名典拠番号

510630200000000

分類：都立NDC10版 410.96
資料情報1 『記号論理学入門』　松原 康夫／著 　創成社　2006.11（所蔵館：中央　 請求記号：/410.9/5040/2006　 資料コード：5013103345）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107052328

ページの先頭へ