証明論と計算量
証明論と計算量
- Call No. (NDL)
- MA41-G9
- Bibliographic ID of National Diet Library
- 000002461803
Detailed bibliographic record
Summary, etc.：
- 自然数論の証明論は数学基礎論の中心的問題であったが、弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている。本書は、証明論と計算量との中間領域についての基本的な事柄を、最近の話題を含めてまとめたものである。限定算術固有の分野には深入りせず、最近の目覚しい話題のFregeシステムについ...
Author introduction：
- 竹内 外史 イリノイ大学名誉教授、理学博士。1926年 石川県に生まれる。東京大学理学部卒業。東京大学講師、東京教育大学助教授・教授、イリノイ大学教授などを歴任。主な著書に『リー代数と素粒子論』『線形代数と量子力学』（以上 裳華房）、『現代集合論入門』『層・圏・トポス』（以上 日本評論社）、『直観主...
Search by Bookstore
Table of Contents
1．多項式時間で計算できる関数
§1 自然数
§2 多項式時間で計算可能な関数
§3 Turing machine
2．限定算術
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Northern Japan
札幌市中央図書館
Paper- Call No.：
- 410.9/ﾀ/
- Book Registration Number：
- 0017604430
宮城県図書館
Paper- Call No.：
- 410.9/1995.Y
- Book Registration Number：
- 1006017410
山形県立図書館
Paper- Call No.：
- 410.9-ﾀｹ
- Book Registration Number：
- 102753504
Kanto
埼玉県立久喜図書館
Paper- Call No.：
- 410.1-ﾀ
- Book Registration Number：
- 110102159
千葉県立西部図書館
Paper- Call No.：
- 4109/ 43/
- Book Registration Number：
- 1101425913
Search by Bookstore
Publication bibliographic database 
Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 4-7853-1096-0
- Title
- Title Transcription
- ショウメイロン ト ケイサンリョウ
- Author/Editor
- 竹内外史 著
- Author Heading
- 竹内, 外史, 1926-2017 タケウチ, ガイシ, 1926-2017 ( 00080185 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 1995.11
- Publication Date (W3CDTF)
- 1995
- Extent
- 205p