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.

Ejemplares similares

Ejemplares similares