Теория логического вывода сборник статей

     
      Т 338
      Теория логического вывода сборник статей ред. П. В. Таванец — М. Наука 1973 — 272 с.