doorgaan naar inhoud
Proof theory : the first step into impredicativity Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Proof theory : the first step into impredicativity

Auteur: Wolfram Pohlers
Uitgever: Berlin [u.a.] Springer 2009
Serie: Universitext
Editie/Formaat:   Print book : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre: Internetbron
Soort document: Boek, Internetbron
Alle auteurs / medewerkers: Wolfram Pohlers
ISBN: 9783540693185 3540693181 9783540693192 354069319X
OCLC-nummer: 845360224
Opmerkingen: Literaturverz. S. 357 - 361
Beschrijving: XIII, 370 S. graph. Darst. 235 x 155 mm
Serietitel: Universitext
Verantwoordelijkheid: Wolfram Pohlers
Meer informatie:

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.

Vergelijkbare items

Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde 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#Person/ordinalzahl> ; # Ordinalzahl
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/proof_theory> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/rekursionstheorie> ; # Rekursionstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/beweistheorie> ; # Beweistheorie
   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://www.gbv.de/dms/bowker/toc/9783540693185.pdf> ;
   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://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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.