pular para conteúdo
Proof theory Ver prévia deste item
FecharVer prévia deste item
Checando...

Proof theory

Autor: Gaisi Takeuti
Editora: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Séries: Studies in logic and the foundations of mathematics, v. 81.
Edição/Formato   Imprimir livro : InglêsVer todas as edições e formatos
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, Recursos de internet
Todos os Autores / Contribuintes: Gaisi Takeuti
ISBN: 0444104925 9780444104922 0720422000 9780720422009 0720422779 9780720422771
Número OCLC: 1531974
Notas: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Includes index.
Descrição: vii, 372 pages ; 23 cm.
Título da Série: Studies in logic and the foundations of mathematics, v. 81.
Responsabilidade: Gaisi Takeuti.

Críticas

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

Etiquetas

Seja o primeiro.
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/1531974> # Proof theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "1531974" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4758017597#Place/amsterdam> ; # Amsterdam
   schema:about <http://experiment.worldcat.org/entity/work/data/4758017597#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4758017597#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/4758017597#Topic/proof_theory> ; # Proof theory
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:datePublished "1975" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4758017597> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4758017597#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:name "Proof theory"@en ;
   schema:productID "1531974" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/1531974#PublicationEvent/amsterdam_north_holland_pub_co_new_york_american_elsevier_pub_co_1975> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4758017597#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4758017597#Agent/american_elsevier_pub_co> ; # American Elsevier Pub. Co.
   schema:url <http://www.gbv.de/dms/hbz/toc/ht001229779.pdf> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908762&custom_att_2=simple_viewer> ;
   schema:workExample <http://worldcat.org/isbn/9780720422009> ;
   schema:workExample <http://worldcat.org/isbn/9780720422771> ;
   schema:workExample <http://worldcat.org/isbn/9780444104922> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/1531974> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/4758017597#Agent/american_elsevier_pub_co> # American Elsevier Pub. Co.
    a bgn:Agent ;
   schema:name "American Elsevier Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/4758017597#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
   schema:name "North-Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/4758017597#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/1531974> ; # Proof theory
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4758017597#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
   schema:name "Preuve, Théorie de la"@en ;
   schema:name "Preuve, Théorie de la"@fr ;
    .

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

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
   schema:birthDate "1926" ;
   schema:deathDate "2017" ;
   schema:familyName "Takeuti" ;
   schema:givenName "Gaisi" ;
   schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/isbn/9780444104922>
    a schema:ProductModel ;
   schema:isbn "0444104925" ;
   schema:isbn "9780444104922" ;
    .

<http://worldcat.org/isbn/9780720422009>
    a schema:ProductModel ;
   schema:isbn "0720422000" ;
   schema:isbn "9780720422009" ;
    .

<http://worldcat.org/isbn/9780720422771>
    a schema:ProductModel ;
   schema:isbn "0720422779" ;
   schema:isbn "9780720422771" ;
    .


Content-negotiable representations

Fechar Janela

Por favor, conecte-se ao WorldCat 

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