Research Catalog
Complexity of proofs and their transformations in axiomatic theories
- Title
- 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].
- Author
- Orevkov, V. P.
- Publication
- Providence, R.I. : American Mathematical Society, c1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v. 128 | Text | Request in advance | JSF 94-45 v. 128 | Offsite |
Details
- Additional Authors
- Louvish, David.
- Description
- vi, 153 p.; 27 cm.
- Series Statement
- Translations of mathematical monographs ; v. 128
- Uniform Title
- Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teori︠i︡akh. English
- Alternative Title
- Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teori︠i︡akh.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 151-153).
- Call Number
- JSF 94-45
- ISBN
- 0821845764 (acid-free)
- LCCN
- 93011139
- OCLC
- 28147838
- NYPG94-B8643
- Author
- Orevkov, V. P.
- Title
- 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].
- Imprint
- Providence, R.I. : American Mathematical Society, c1993.
- Series
- Translations of mathematical monographs ; v. 128
- Bibliography
- Includes bibliographical references (p. 151-153).
- Added Author
- Louvish, David.
- Research Call Number
- JSF 94-45