omitir hasta el contenido
Proof theory Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Proof theory

Autor: Gaisi Takeuti
Editorial: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Serie: Studies in logic and the foundations of mathematics, v. 81.
Edición/Formato:   Libro impreso : Inglés (eng)Ver todas las ediciones y todos los formatos
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Enlaces a este material

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Tipo de material: Recurso en Internet
Tipo de documento Libro, Recurso internet
Todos autores / colaboradores: 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.
Descripción: vii, 372 pages ; 23 cm.
Título de la serie: Studies in logic and the foundations of mathematics, v. 81.
Responsabilidad: Gaisi Takeuti.

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


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

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.