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...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | |
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 |
Internet
Texto completoTexto completo
Texto completo
Texto completo