TY - BOOK AU - Тертышник В. М. AU - Слинько С.В. TI - Теория доказательств: учебное издание SN - 966-7299-07-4 PY - 1998/// CY - Харьков PB - Арсис KW - UDC ER -