Proof theory and logical complexity

Detalles Bibliográficos
Autor principal: Girard, Jean-Yves, 1947- (-)
Formato: Libro
Idioma:Inglés
Publicado: Napoli : Bibliopolis 1987
Colección:Studies in proof theory. Monographs
Materias:
Ver en Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991010756539708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Descripción
Descripción Física:v. I (503 p.) ; 25 cm
ISBN:9780444987150