Мысли о современной математике и ее изучении

類似資料

• Математическая логика и автоматическое доказательство теорем: пер. с англ.
  著者:: Чень Ч.
  出版事項: (Москва, Наука, 1983)
• Теория логического вывода
  著者:: Смирнов В. А. Владимир Александрович
  出版事項: (Москва, РОССПЭН, 1999)
• Логические методы анализа научного знания
  著者:: Смирнов В. А. Владимир Александрович
  出版事項: (Москва, Наука, 1987)
• Система принципов построения дедуктивных теорий
  著者:: Кедровский О. И. Олег Иванович
  出版事項: (Киев, Выща школа, 1990)
• Логика: учебник
  著者:: Ивин А. А. Александр Архипович
  出版事項: (Москва, Гардарики, 2003)