Complexity of proofs and their transformations in axiomatic theories /

Bibliographic Details

Main Author:	Orevkov, V. P.
Other Authors:	Louvish, David
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, [1993]
Series:	Translations of mathematical monographs ; v. 128.
Subjects:	Proof theory.