資料詳細

  • 1 件中、 1 件目

数理論理学 貸出可

戸次 大介／著 -- 東京大学出版会 -- 2012.3 -- 410.96

  • 総合評価
    5段階評価の0.0
    (0)
  • レビュー
    0

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 書庫 /410/96/19 1107669275 一般 　 在架 iLisvirtual

ページの先頭へ

資料詳細

タイトル数理論理学
タイトルカナスウリ ロンリガク
並列タイトルmathematical logic
著者 戸次 大介 ／著  
著者カナベッキ ダイスケ
出版地東京
出版者東京大学出版会
出版年2012.3
ページ数8,310p
大きさ21cm
書誌年譜年表文献:p300～302
内容紹介大学の哲学・数学・情報科学・言語系の学科で使われる数理論理学の初歩の知識を身につけることをめざした入門テキスト。「一階論理の統語論と意味論」と「一階論理の証明論」の二部に分けて解説する。
一般件名記号論理学
NDC分類(8版) 410.96
ISBN13978-4-13-062915-7
本文の言語jpn
書誌番号1109328363

ページの先頭へ

レビュー一覧

レビューが登録されていません。

ページの先頭へ