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

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

---

• • 1974 Генценовские системы постулатов для теории множеств
  • Вайль В.Е.
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 109-130
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 К интерпретации антиномий, в построении которых применяется аксиома экстенсиональности или аксиома объемности
  • Бочвар Дмитрий Анатольевич
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 96-102
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 Конструктивные модели теорий интуиционистских последовательностей выбора
  • Драгалин Альберт Григорьевич
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 214-252
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 Модальные расширения логических исчислений типа Хао Вана
  • Ермолаева Надежда Митрофановна, Мучник Альберт Абрамович
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 172-193
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 Наследственность свойств отношений
  • Шрейдер Юлий Анатольевич
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 88-95
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 О булевых операциях над расселовыми ядрами
  • Бочвар Дмитрий Анатольевич, Фуксон В.И.
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 131-134
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 О категориях эффективно топологических пространств
  • Вайнберг Юрий Рувимович, Ногина Елена Юрьевна
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 253-273
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 О квазилогических функциях
  • Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 200-213
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 О критерии функциональной полноте для B3
  • Финн Виктор Константинович
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 194-199
  • редактор Бочвар Дмитрий Анатольевич
• • 1974 О некоторых свойствах условных грамматик с рассеянным контекстом
  • Стоцкий Эдуард Данилович
  • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 7-22
  • редактор Бочвар Дмитрий Анатольевич