|
Всего работ:110
Сортировать по:
названию | году
51. Шалак, Владимир Иванович. Логический анализ сети интернет
Год: 2008 52. Шиян Тарас Александрович. Структурные описания множеств формальных теорий : на материале формальных силлогистик
Год: 2008 53. Крушинский Андрей Андреевич. Логика древнего Китая
Год: 2006 54. Микиртумов Иван Борисович. Теория смысла в общей интенсиональной логике
Год: 2006 55. Антонова Ольга Аркадьевна. Современные проблемы использования табличных методов в логике
Год: 2005 56. Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики
Год: 2004 57. Кварталова Наталия Леонидовна. Паранепротиворечивость и релевантность
Год: 2004 58. Хаханян Валерий Христофорович. Интуиционистская логика и теория множеств
Год: 2004 59. Ходикова Нина Анатольевна. Логико-методологическое исследование происхождения теории поиска вывода
Год: 2004 60. Шангин Василий Олегович. Автоматический поиск натурального вывода в классической логике предикатов
Год: 2004 |
