Loading…

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Buss, Samuel R.
Format: Electronic eBook
Language:Inglés
Published: New York : Elsevier, 1998.
Series:Studies in logic and the foundations of mathematics ; v. 137.
Subjects:
Online Access:Texto completo
Texto completo
Texto completo
Texto completo