Proof theory and logical complexity

Detalles Bibliográficos
Autor principal: Girard, Jean-Yves (-)
Formato: Libro
Idioma:Inglés
Publicado: Napoli : Bibliopolis 1987.
Colección:Studies in Proof Theory ; 1
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991002410619703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:v. I (503 p.) ; 25 cm
Bibliografía:Bibliogr.: p. 497-500
ISBN:9788870881233