| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Complexity of Proofs and Their Transformations in Axiomatic Theories | 978-0-8218-4576-9 (0-8218-4576-4) | 1993 | |
| Logical and Logico-mathematical Calculi | 978-0-8218-3021-5 (0-8218-3021-X) | 1974 | |
| Problems in the Constructive Trend in Mathematics: Part V Proceedings | 978-0-8218-3013-0 (0-8218-3013-9) | 1972 | N. A. Sanin |