omitir hasta el contenido
Formally self-referential propositions for cut free classical analysis and related system Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Formally self-referential propositions for cut free classical analysis and related system

Autor: G Kreisel; G Takeuti
Editorial: Warzawa Państwowe Wydawnistwo Naukowe 1974
Serie: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Edición/Formato:   Print book : 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.

 

Encontrar un ejemplar en la biblioteca

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

Detalles

Tipo de documento: Libro/Texto
Todos autores / colaboradores: G Kreisel; G Takeuti
Número OCLC: 246216180
Descripción: 55 S
Título de la serie: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Responsabilidad: G. Kreisel; G. 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


<http://www.worldcat.org/oclc/246216180>
library:oclcnum"246216180"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:author
schema:creator
schema:datePublished"1974"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2210419>
schema:inLanguage"en"
schema:isPartOf
schema:name"Formally self-referential propositions for cut free classical analysis and related system"
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

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