Исследования по математической лингвистике, математической логике и информационным языкамсборник

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

---

• • 1972 Информация в структурах с отношениями
  • Шрейдер Юлий Анатольевич
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 147-159
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 О многозначных логиках, допускающих формализацию анализа антиномий. 1
  • Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 238-295
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 О некоторых фрагментах системы Куайна NF
  • Гришин Владимир Николаевич
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 200-212
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 О погружении расширенного исчисления предикатов K0 со схемой аксиом свертывания в арифметику
  • Шмаин Илья Хананович
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 217-226
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 О понятии истины для вполне упорядоченных сильно канторовских множеств
  • Есенин-Вольпин Александр Сергеевич
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 213-216
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 О порождении сложного предложения из простых
  • Падучева Елена Викторовна
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 59-78
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 О самодвойственной системе аксиом классического исчисления высказываний
  • Ермолаева Надежда Митрофановна
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 232-237
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 О тенденциях в области разработки информационно-поисковых языков
  • Стоколова Н.А.
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 160-199
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 О формальном аппарате синтаксических преобразований
  • Корельская Татьяна Дмитриевна, Падучева Елена Викторовна
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 27-58
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
• • 1972 Об однородном суслинском континууме
  • Фуксон В.И.
  • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 227-231
  • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович