Формальный вывод и логичечкие исчиления - Смирнов В.А (Наука, 1972)