passa ai contenuti
Proof theory : the first step into impredicativity Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Proof theory : the first step into impredicativity

Autore: Wolfram Pohlers
Editore: New York ; London : Springer, ©2009.
Serie: Universitext.
Edizione/Formato:   eBook : Document : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Electronic books
Informazioni aggiuntive sul formato: Print version:
Pohlers, Wolfram.
Proof theory.
New York ; London : Springer, 2008
(OCoLC)233788989
Tipo materiale: Document, Risorsa internet
Tipo documento: Internet Resource, Computer File
Tutti gli autori / Collaboratori: Wolfram Pohlers
ISBN: 9783540693192 354069319X
Numero OCLC: 310353075
Note: Originally published: 1989.
Descrizione: 1 online resource (xiii, 370 p.) : ill.
Contenuti: 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
Titolo della serie: Universitext.
Responsabilità: by Wolfram Pohlers.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

Soggetti correlati:(1)

Liste di utenti con questo documento (1)

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.