コンテンツへ移動
Proof theory : the first step into impredicativity 資料のプレビュー
閉じる資料のプレビュー
確認中…

Proof theory : the first step into impredicativity

著者: Wolfram Pohlers
出版: New York ; London : Springer, ©2009.
シリーズ: Universitext.
エディション/フォーマット:   電子書籍 : Document : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オンラインで入手

この資料へのリンク

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ジャンル/形式: Electronic books
その他のフォーマット: Print version:
Pohlers, Wolfram.
Proof theory.
New York ; London : Springer, 2008
(OCoLC)233788989
資料の種類: Document, インターネット資料
ドキュメントの種類: インターネットリソース, コンピューターファイル
すべての著者/寄与者: Wolfram Pohlers
ISBN: 9783540693192 354069319X
OCLC No.: 310353075
注記: Originally published: 1989.
物理形態: 1 online resource (xiii, 370 p.) : ill.
コンテンツ: 1 Historical Background --
2 Primitive Recursive Functions and Relations --
3 Ordinals --
4 Pure Logic --
5 Truth Complexities for Pi 1-1-Sentences --
6 Inductive Definitions --
7 The Ordinal Analysis for Pean Arithmetic --
8 Autonomous Ordinals and the Limits of Predicativity --
9 Ordinal Analysis of the Theory for Inductive Definitions --
10 Provably Recursive Functions of NT --
11 Ordinal Analysis for Kripke Platek Set Theory with infinity --
12 Predicativity Revisited --
13 Non-Monotone Inductive Definitions --
14 Epilogue
シリーズタイトル: Universitext.
責任者: by Wolfram Pohlers.

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!

類似資料

関連件名:(1)

この資料を含むリスト (1)

リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


<http://www.worldcat.org/oclc/310353075>
library:oclcnum"310353075"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/310353075>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:copyrightYear"2009"
schema:creator
schema:datePublished"2009"
schema:description"1 Historical Background -- 2 Primitive Recursive Functions and Relations -- 3 Ordinals -- 4 Pure Logic -- 5 Truth Complexities for Pi 1-1-Sentences -- 6 Inductive Definitions -- 7 The Ordinal Analysis for Pean Arithmetic -- 8 Autonomous Ordinals and the Limits of Predicativity -- 9 Ordinal Analysis of the Theory for Inductive Definitions -- 10 Provably Recursive Functions of NT -- 11 Ordinal Analysis for Kripke Platek Set Theory with infinity -- 12 Predicativity Revisited -- 13 Non-Monotone Inductive Definitions -- 14 Epilogue"@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/866283287>
schema:genre"Electronic books."@en
schema:inLanguage"en"
schema:name"Proof theory the first step into impredicativity"@en
schema:numberOfPages"370"
schema:publisher
schema:url
schema:url<http://dx.doi.org/10.1007/978-3-540-69319-2>
schema:workExample

Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.