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