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: Berlin [u.a.] Springer 2009
Serie: Universitext
Edizione/Formato:   book_printbook : 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

Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Wolfram Pohlers
ISBN: 9783540693185 3540693181 9783540693192 354069319X
Numero OCLC: 845360224
Note: Literaturverz. S. 357 - 361
Descrizione: XIII, 370 S. graph. Darst. 235 x 155 mm
Titolo della serie: Universitext
Responsabilità: Wolfram Pohlers
Maggiori informazioni:

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

Conferma questa richiesta

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

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/845360224> # Proof theory the first step into impredicativity
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "845360224" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866283287#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/rekursionstheorie> ; # Rekursionstheorie
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/ordinalzahl> ; # Ordinalzahl
   schema:about <http://dewey.info/class/510/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/866283287#Person/pohlers_wolfram> ; # Wolfram Pohlers
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866283287> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866283287#Series/universitext> ; # Universitext
   schema:name "Proof theory the first step into impredicativity" ;
   schema:productID "845360224" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845360224#PublicationEvent/berlin_u_a_springer2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866283287#Agent/springer> ; # Springer
   schema:url <http://d-nb.info/989061868/04> ;
   schema:workExample <http://worldcat.org/isbn/9783540693192> ;
   schema:workExample <http://worldcat.org/isbn/9783540693185> ;
   umbel:isLike <http://d-nb.info/989061868> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845360224> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866283287#Person/pohlers_wolfram> # Wolfram Pohlers
    a schema:Person ;
   schema:familyName "Pohlers" ;
   schema:givenName "Wolfram" ;
   schema:name "Wolfram Pohlers" ;
    .

<http://experiment.worldcat.org/entity/work/data/866283287#Series/universitext> # Universitext
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845360224> ; # Proof theory the first step into impredicativity
   schema:name "Universitext" ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory" ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory" ;
    .

<http://worldcat.org/isbn/9783540693185>
    a schema:ProductModel ;
   schema:isbn "3540693181" ;
   schema:isbn "9783540693185" ;
    .

<http://worldcat.org/isbn/9783540693192>
    a schema:ProductModel ;
   schema:isbn "354069319X" ;
   schema:isbn "9783540693192" ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.