資料詳細

  • 1 件中、 1 件目

論理学への数学的手引き 利用可

Ｈｅｒｂｅｒｔ　Ｂ．Ｅｎｄｅｒｔｏｎ／〔著〕 -- １月と７月 -- 2020.9 -- 410.96

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

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

ページの先頭へ

資料詳細

タイトル 論理学への数学的手引き
書名ヨミ ロンリガク　エノ　スウガクテキ　テビキ
著者名 Ｈｅｒｂｅｒｔ　Ｂ．Ｅｎｄｅｒｔｏｎ ／〔著〕, 嘉田　勝 ／訳  
著者ヨミ エンダートン，ハーバート　Ｂ． , カダ，マサル  
出版者 １月と７月  
出版年 2020.9
ページ数等 ４９４ｐ
大きさ ２２ｃｍ
原書名 原タイトル：Ａ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　Ｌｏｇｉｃ　原著第２版の翻訳
一般件名 記号論理学  
ISBN 4-86113-709-8
ISBN13桁 978-4-86113-709-9
定価 ５４００円
問合わせ番号（書誌番号） 1120371635
NDC8版 410.96
NDC9版 410.96
NDC10版 410.96
著者紹介 【嘉田勝】１９７０年生まれ。１９９７年　大阪府立大学大学院理学系研究科博士課程修了。日本学術振興会特別研究員、北見工業大学工学部助手などを経て現在　大阪府立大学大学院理学系研究科准教授。博士（理学）。専門は公理的集合論、集合論的位相空間論。著書『論理と集合から始める数学の基礎』（日本評論社）。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第０章　集合についての予備知識
第１章　文論理（形式言語についての、非形式的な注意；文論理の言語　ほか）
第２章　１階論理（準備；１階の言語　ほか）
第３章　決定不可能性（数論；後者関数のみをもつ自然数論　ほか）
第４章　２階論理（２階言語；スコーレム関数　ほか）

ページの先頭へ