přejít na obsah
Proof theory : the first step into impredicativity Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Proof theory : the first step into impredicativity

Autor Wolfram Pohlers
Vydavatel: New York ; London : Springer, ©2009.
Edice: Universitext.
Vydání/formát:   e-kniha : Document : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Najít online exemplář

Odkazy na tento dokument

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Žánr/forma: Electronic books
Doplňující formát: Print version:
Pohlers, Wolfram.
Proof theory.
New York ; London : Springer, 2008
(OCoLC)233788989
Typ materiálu: Document, Internetový zdroj
Typ dokumentu: Internet Resource, Computer File
Všichni autoři/tvůrci: Wolfram Pohlers
ISBN: 9783540693192 354069319X
OCLC číslo: 310353075
Poznámky: Originally published: 1989.
Popis: 1 online resource (xiii, 370 p.) : ill.
Obsahy: 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
Název edice: Universitext.
Odpovědnost: by Wolfram Pohlers.

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.

Podobné dokumenty

Související předmětová hesla:(1)

Seznamy uživatele s tímto dokumentem (1)

Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


<http://www.worldcat.org/oclc/310353075>
library:oclcnum"310353075"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: dct
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:isPartOf
schema:name"Proof theory the first step into impredicativity"@en
schema:numberOfPages"370"
schema:publication
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-3-540-69319-2>
schema:workExample
wdrs:describedby

Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.