С 506
      Смирнов,В. А.
      Формальный вывод и логические исчисления В. А. Смирнов — М. Наука 1972 — 271 с.