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 : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
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/Texto, Recurso en 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 p. ; 23 cm.
Título de la serie: Studies in logic and the foundations of mathematics, v. 81.
Responsabilidad: Gaisi Takeuti.
Más información:

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


<http://www.worldcat.org/oclc/1531974>
library:oclcnum"1531974"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/1531974>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
rdf:typeschema:Intangible
schema:name"Preuve, Théorie de la."
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Preuve, Théorie de la."
schema:about
schema:author
schema:datePublished"1975"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2406532>
schema:inLanguage"en"
schema:name"Proof theory"
schema:numberOfPages"372"
schema:publisher
rdf:typeschema:Organization
schema:name"American Elsevier Pub. Co."
schema:publisher
schema:workExample
schema:workExample
schema:workExample
schema:workExample
schema:workExample
schema:workExample

Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

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