Теория логического вывода: Тезисы докладов Всесоюзного симпозиума (Москва, 25–27 марта 1974 г.). Часть Iсборник

Статьи, опубликованные в сборнике

---

• • 1974 Исследование дедуктивных систем λ-конверсии и комбинаторной логики
  • Кузичев А.С.
  • в сборнике Теория логического вывода: Тезисы докладов Всесоюзного симпозиума (Москва, 25–27 марта 1974 г.). Часть I, место издания Москва, тезисы, с. 44-46
• • 1974 Натуральные варианты некоторых релевантных систем
  • Войшвилло Евгений Казимирович
  • в сборнике Теория логического вывода: Тезисы докладов Всесоюзного симпозиума (Москва, 25–27 марта 1974 г.). Часть I, место издания Москва, тезисы, с. 12-27
• • 1974 О некоторых новых результатах теории модальных и суперинтуиционистских систем
  • Эсакиа Лео Леонидович
  • в сборнике Теория логического вывода: Тезисы докладов Всесоюзного симпозиума (Москва, 25–27 марта 1974 г.). Часть I, место издания Москва, тезисы, с. 173-184