Попов С. В. Прикладная логика / С. В. Попов, Н. Л. Брошкова. - Москва : Физматлит, 2011. - 212 с.: ил., табл.