Теория логического вывода

Смирнов, В. А.. Теория логического вывода / В.А. Смирнов . - Москва : РОССПЭН, 1999 . - 318 с. 22 см.
К.: Бібліогр. : с. 305-314
5-8243-0046-1