1 option
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].
Math/Physics/Astronomy Library QA9.54 .O7413 1993
Available
- Format:
- Book
- Author/Creator:
- Orevkov, V. P.
- Series:
- Translations of mathematical monographs ; v. 128.
- Translations of mathematical monographs
- Standardized Title:
- Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii͡akh. English
- Language:
- English
- Russian
- Subjects (All):
- Proof theory.
- Physical Description:
- vi, 153 pages ; 27 cm.
- Place of Publication:
- Providence, R.I. : American Mathematical Society, [1993]
- Notes:
- Includes bibliographical references (pages 151-153).
- ISBN:
- 0821845764
- OCLC:
- 28147838
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.