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