資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 論理学への数学的手引き

Herbert B.Enderton／[著] -- 1月と7月 -- 2020.9 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

ISBN 4-86113-709-9
ISBN13桁 978-4-86113-709-9
タイトル 論理学への数学的手引き
タイトルカナ ロンリガク エノ スウガクテキ テビキ
著者名 Herbert B.Enderton ／[著], 嘉田 勝 ／訳
著者名典拠番号

120003043720000 , 110005408260000

出版地 [東京]
出版者 1月と7月
出版者カナ イチガツ ト シチガツ
出版年 2020.9
ページ数 6, 494p
大きさ 22cm
原タイトル注記 原タイトル:A mathematical introduction to logic
価格 ¥5400
内容紹介 アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキスト。数理論理学の基本定理である1階論理の完全性定理、ゲーデルの不完全性定理(第1および第2)の完全な証明などを収録する。
書誌・年譜・年表 文献:p479～480
一般件名 記号論理学-ndlsh-00565709
一般件名 記号論理学
一般件名カナ キゴウ ロンリガク
一般件名典拠番号

510630200000000

分類：都立NDC10版 410.96
資料情報1 『論理学への数学的手引き』　Herbert B.Enderton／[著], 嘉田 勝／訳 　1月と7月　2020.9（所蔵館：中央　 請求記号：/410.9/5145/2020　 資料コード：7113597377）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153725570

ページの先頭へ