Cargando…

Handbook of proof theory /

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scient...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Buss, Samuel R.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Elsevier, 1998.
Colección:Studies in logic and the foundations of mathematics ; v. 137.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo
Texto completo