|
Всего работ:110
Сортировать по:
названию | году
51. Макаров Валентин Валентинович. Алгоритм поиска натурального вывода для интуиционистской логики высказываний
Год: 2002 52. Архиереев Николай Львович. Семантики ограниченных множеств описаний состояний
Год: 2001 53. Кускова Светлана Михайловна. Учение Аристотеля о модальности
Год: 2001 54. Маков Борис Васильевич. Становление формальных методов в логике отношений
Год: 2001 55. Гриненко, Галина Валентиновна. Логико-семиотический анализ сакральных текстов и сакральной коммуникации
Год: 2000 56. Невдобенко, Оксана Ивановна. Отношение следования и нестандартные семантики
Год: 2000 57. Нкодиа Орельен-Серж-Жерве. Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени
Год: 2000 58. Павлов, Сергей Афанасьевич. Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта
Год: 2000 59. Антонова, Ольга Аркадьевна. Табличные исчисления в классической и неклассических логиках
Год: 1998 60. Беляев, Вадим Владимирович. Моделирование финитных ситуаций и критика финитных моделей в традиционной логике
Год: 1998 |
