Логика и исчисление предикатов. Кабанцова Л.Ю - 25 стр.