Herbert B.Enderton/〔著〕 -- 1月と7月 -- 2020.9 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 410.9/エンタ/一般 121350147 一般 利用可

資料詳細

タイトル 論理学への数学的手引き
書名ヨミ ロンリガク エノ スウガクテキ テビキ
著者名 Herbert B.Enderton /〔著〕, 嘉田 勝 /訳  
著者ヨミ エンダートン,ハーバート B. , カダ,マサル  
出版者 1月と7月  
出版年 2020.9
ページ数等 494p
大きさ 22cm
原書名 原タイトル:A Mathematical Introduction to Logic 原著第2版の翻訳
一般件名 記号論理学  
ISBN 4-86113-709-8
ISBN13桁 978-4-86113-709-9
定価 5400円
問合わせ番号(書誌番号) 1120371635
NDC8版 410.96
NDC9版 410.96
NDC10版 410.96
著者紹介 【嘉田勝】1970年生まれ。1997年 大阪府立大学大学院理学系研究科博士課程修了。日本学術振興会特別研究員、北見工業大学工学部助手などを経て現在 大阪府立大学大学院理学系研究科准教授。博士(理学)。専門は公理的集合論、集合論的位相空間論。著書『論理と集合から始める数学の基礎』(日本評論社)。(本データはこの書籍が刊行された当時に掲載されていたものです) 

内容一覧

タイトル 著者名 ページ
第0章 集合についての予備知識
第1章 文論理(形式言語についての、非形式的な注意;文論理の言語 ほか)
第2章 1階論理(準備;1階の言語 ほか)
第3章 決定不可能性(数論;後者関数のみをもつ自然数論 ほか)
第4章 2階論理(2階言語;スコーレム関数 ほか)