Логика и исчисление предикатов. Кацаран Т.К.