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].
- Format:
- Book
- Author/Creator:
- Orevkov, V. P.
- Series:
- Translations of Mathematical Monographs, 2472-5137 ; v. 128
- Standardized Title:
- Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh. English
- Language:
- English
- Russian
- Subjects (All):
- Proof theory.
- Physical Description:
- 1 online resource (vi, 153 p.)
- Place of Publication:
- Providence, R.I. : American Mathematical Society, c1993.
- System Details:
- Mode of access : World Wide Web
- Contents:
- Introduction Chapter I. Upper bounds on deduction elongation in cut elimination Chapter II. Systems of term equations with substitutions Chapter III. Logical deduction schemata in axiomatized theories Chapter IV. Bounds for the complexity of terms occurring in proofs Chapter V. Proof strengthening theorems
- Notes:
- Includes bibliographical references (p. 151-153).
- Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
- Description based on print version record.
- Other Format:
- Print version: Orevkov, V. P. Complexity of proofs and their transformations in axiomatic theories /
- ISBN:
- 9781470445362 (online)
- Access Restriction:
- Restricted for use by site license.
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.