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: Berlin [u.a.] Springer 2009
Edice: Universitext
Vydání/formát:   Tištěná kniha : 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

 

Vyhledat exemplář v knihovně

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

Detaily

Typ dokumentu Kniha
Všichni autoři/tvůrci: Wolfram Pohlers
ISBN: 9783540693185 3540693181 9783540693192 354069319X
OCLC číslo: 845360224
Poznámky: Literaturverz. S. 357 - 361
Popis: XIII, 370 S. graph. Darst. 235 mm x 155 mm
Název edice: Universitext
Odpovědnost: Wolfram Pohlers
Více informací

Recenze

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

Štítky

Buďte první.
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


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_springer_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866283287#Agent/springer> ; # Springer
   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:description "Pb." ;
   schema:isbn "3540693181" ;
   schema:isbn "9783540693185" ;
    .

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


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.