Complexity of proofs and their transformations in axiomatic theories / V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish].

Saved in:

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

Holdings details from Science Library
Call Number:	QA9.54 .O7413 1993
Status:	Available

Similar Items