資料詳細
要約等：
- 自然数論の証明論は数学基礎論の中心的問題であったが、弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている。本書は、証明論と計算量との中間領域についての基本的な事柄を、最近の話題を含めてまとめたものである。限定算術固有の分野には深入りせず、最近の目覚しい話題のFregeシステムについ...
著者紹介：
- 竹内 外史 イリノイ大学名誉教授、理学博士。1926年 石川県に生まれる。東京大学理学部卒業。東京大学講師、東京教育大学助教授・教授、イリノイ大学教授などを歴任。主な著書に『リー代数と素粒子論』『線形代数と量子力学』（以上 裳華房）、『現代集合論入門』『層・圏・トポス』（以上 日本評論社）、『直観主...
書店で探す
目次
1．多項式時間で計算できる関数
§1 自然数
§2 多項式時間で計算可能な関数
§3 Turing machine
2．限定算術
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
札幌市中央図書館
紙- 請求記号：
- 410.9/ﾀ/
- 図書登録番号：
- 0017604430
宮城県図書館
紙- 請求記号：
- 410.9/1995.Y
- 図書登録番号：
- 1006017410
山形県立図書館
紙- 請求記号：
- 410.9-ﾀｹ
- 図書登録番号：
- 102753504
関東
埼玉県立久喜図書館
紙- 請求記号：
- 410.1-ﾀ
- 図書登録番号：
- 110102159
千葉県立西部図書館
紙- 請求記号：
- 4109/ 43/
- 図書登録番号：
- 1101425913
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す