|
Всего работ:110
Сортировать по:
названию | году
31. Карпов Глеб Викторович. Иллокутивная логика: логическое следование, семантика и прагматика
Год: 2009 32. Красненкова Анастасия Владимировна. Алгоритм поиска вывода для систем негативной силлогистики
Год: 2009 33. Новиченков Сергей Александрович. Логическая теория смысла в аналитической философии : от логического эмпиризма к холизму
Год: 2009 34. Девяткин Леонид Юрьевич. Многозначные изоморфы классической пропозициональной логики
Год: 2008 35. Шалак, Владимир Иванович. Логический анализ сети интернет
Год: 2008 36. Шиян Тарас Александрович. Структурные описания множеств формальных теорий : на материале формальных силлогистик
Год: 2008 37. Крушинский Андрей Андреевич. Логика древнего Китая
Год: 2006 38. Микиртумов Иван Борисович. Теория смысла в общей интенсиональной логике
Год: 2006 39. Антонова Ольга Аркадьевна. Современные проблемы использования табличных методов в логике
Год: 2005 40. Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики
Год: 2004 |
