Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления

類似資料

• Выразимость в исчислениях высказываний
  著者:: Раца М. Ф. Мефодий Федорович
  出版事項: (Кишинев, Штиинца, 1991)
• Задачи по теории множеств, математической логике и теории алгоритмов
  著者:: Лавров И. А. Игорь Андреевич
  出版事項: (Москва, Наука, 1984)
• Задачи по теории множеств, математической логике и теории алгоритмов
  著者:: Лавров И. А. Игорь Андреевич
  出版事項: (Москва, Физматлит, 2006)
• Задачи по теории множеств, математической логике и теории алгоритмов
  著者:: Лавров И. А. Игорь Андреевич
  出版事項: (Наука, 1975)
• Задачи по теории множеств, математической логике и теории алгоритмов
  著者:: Лавров И. А. Игорь Андреевич
  出版事項: (Москва, Физматлит, 2002)