pular para conteúdo
Proof theory the first step into impredicativity Ver prévia deste item
FecharVer prévia deste item
Checando...

Proof theory the first step into impredicativity

Autor: Wolfram Pohlers
Editora: Berlin [u.a.] Springer 2009
Séries: Universitext
Edição/Formato   Print book : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Tipo de Material: Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: Wolfram Pohlers
ISBN: 9783540693185 3540693181 9783540693192 354069319X
Número OCLC: 845360224
Notas: Literaturverz. S. 357 - 361
Descrição: XIII, 370 S. graph. Darst. 235 x 155 mm
Título da Série: Universitext
Responsabilidade: Wolfram Pohlers
Mais informações:

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.

Ítens Similares

Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


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/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://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://experiment.worldcat.org/entity/work/data/866283287#Topic/rekursionstheorie> # Rekursionstheorie
    a schema:Intangible ;
    schema:name "Rekursionstheorie" ;
    .

<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

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.