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

Corporate Author:	ScienceDirect (Online service)
Other Authors:	Buss, Samuel R.
Format:	eBook
Language:	English
Published:	New York : Elsevier, 1998.
Series:	Studies in logic and the foundations of mathematics ; v. 137.
Subjects:	Proof theory. Théorie de la preuve. MATHEMATICS > Infinity. MATHEMATICS > Logic. Proof theory Logica. Preuve, Théorie de la > Guides, manuels, etc. Electronic books.
Online Access:	Connect to the full text of this electronic book