[ Первая страница]		© ВИНИТИ, 1999
Теория доказательств		510.23 (УДК)
•	Устранение сечения	510.231
•	Сложность доказательств	510.232