Complexity of Proofs and Their Transformations in Axiomatic Theories HG7EQE9MN3
| URI | m2://res/HG7EQE9MN3 |
|---|---|
| Kind | monograph |
| Creators | V. Orevkov |
| Date | 1993-10-01 |
| MSC | 03F20, 03-02, 03F05 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1993-10-01 |
| Ids | DOI 10.1090/mmono/128, zbl 0808.03040, zbl_id 481931 |
- m1: print, American Mathematical Society, 1993-10-01 (record). isbn 9780821845769, isbn 9780821897492, isbn 9781470445362
Relations
Catalogue records
- ams-series: 10.1090/mmono/128 (work)
- zbmath_search: 481931 (work)