Логика и Пролог в дискретной математике (Набебин А.А.)