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