証明による真理へ --
Peter B.Andrews /著, 小川原倫子 /訳,     -- 丸善 -- 1987.12 -- 22cm -- 316p

資料詳細

タイトル 数理論理学とタイプ理論
副書名 証明による真理へ
著者名等 Peter B.Andrews /著, 小川原倫子 /訳,    
出版 丸善 1987.12
大きさ等 22cm 316p
分類 410.96
件名 記号論理学
注記 An introduction to mathematical logic and type theory./の翻訳
要旨 本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。
目次 1 命題計算;2 第1階の〔述語〕論理;3 証明可能性および論駁可能性;4 第1階の論理のさらに進んだ話題;5 タイプ〔型〕理論;6 形式化された数論;7 不完全性と決定不能性;付録 定理の要約
ISBN(13)、ISBN    4-621-03224-0
書誌番号 1190265401
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190265401

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/102 一般書 利用可 - 0003915034 iLisvirtual