Handbook of proof theory

Detalles Bibliográficos
Otros Autores: Buss, Samuel R. (-)
Formato: Libro
Idioma:Inglés
Publicado: Amsterdam [etc.] : Elsevier 1998.
Colección:Studies in Logic and the Foundations of Mathematics ; 137
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001115119703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indices
Descripción Física:811 p. ; 23 cm
Bibliografía:Bibliogr.
ISBN:9780444898401