Handbook of proof theory /

Detalles Bibliográficos
Otros Autores: Buss, Samuel R.
Formato: Libro
Lenguaje:English
Publicado: New York : Elsevier, 1998.
Colección:Studies in logic and the foundations of mathematics ; v. 137
Materias:
Teoría de la prueba.
Lógica matemática.
Descripción
Descripción Física:811 p. ; 23 cm.
Bibliografía:Incluye notas bibliográficas.
ISBN:0444898409

Ejemplares similares