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

類似資料

• Элементы математической логики
  著者:: Новиков П. С. Петр Сергеевич
  出版事項: (Москва, Наука, 1973)
• Элементы математической логики
  著者:: Марков А. А. Андрей Андреевич
  出版事項: (Москва, Изд-во МГУ, 1984)
• Применение ЭВМ для решения задач математической логики учебное пособие
  著者:: Мелихов А. Н. Аскольд Николаевич
  出版事項: (Таганрог, Изд-воТРТИ, 1988)
• Математическая логика пер. с англ.
  著者:: Гудстейн Р. Л.
  出版事項: (Москва, Изд-во иностранной литературы, 1961)
• Математическая логика. Курс лекций. Задачник-практикум и решения учебное пособие
  著者:: Лихтарников Л. М. Леонид Моисеевич
  出版事項: (СПб., Лань, 2008)