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

Proof theory

Autor: Gaisi Takeuti
Editorial: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
Serie: Studies in logic and the foundations of mathematics, vol. 81
Edición/Formato:   Libro : Inglés (eng) : 2. edVer 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 la biblioteca

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

Detalles

Tipo de documento: Libro/Texto
Todos autores / colaboradores: Gaisi Takeuti
ISBN: 0444879439 9780444879431
Número OCLC: 476872494
Notas: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Descripción: 490 s. : ill.
Título de la serie: Studies in logic and the foundations of mathematics, vol. 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.

Materiales similares

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/476872494>
library:oclcnum"476872494"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"2. ed."
schema:contributor
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2406532>
schema:inLanguage"en"
schema:isPartOf
schema:name"Proof theory"
schema:publication
<http://www.worldcat.org/title/-/oclc/476872494#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987>
rdf:typeschema:PublicationEvent
schema:location
schema:location
schema:location
schema:organizer
schema:organizer
schema:startDate"1987"
schema:publisher
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

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