資料詳細

【図書】 数理論理学

使い方と考え方：超準解析の入口まで --
江田勝哉／著 -- 内田老鶴圃 -- ２０１０．５ -- ２１ｃｍ -- １６０ｐ

タイトル	数理論理学
副書名	使い方と考え方：超準解析の入口まで
著者名等	江田勝哉／著
出版	内田老鶴圃２０１０．５
大きさ等	２１ｃｍ１６０ｐ
分類	410.9
件名	数学基礎論
注記	文献あり　索引あり
目次	第１章　論理式；第２章　論理式の解釈と構造；第３章　定義可能集合；第４章　冠頭標準形と否定命題；第５章　証明と推論規則；第６章　完全性定理；第７章　１階述語論理の表現可能性の限界について；第８章　初等部分構造について；第９章　簡単な超準解析の導入；第１０章　数理論理学と数学；第１１章　超準解析の応用
ISBN(13)、ISBN	978-4-7536-0151-6　　 4-7536-0151-X
書誌番号	1110032235
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1110032235

所蔵

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

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