- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков
Тип роботи:
Кандидатская
Рік:
1999
Артикул:
1000222487 179 грн
Рекомендовані дисертації
- Алгоритм поиска натурального вывода для интуиционистской логики высказываний
- Теория смысла в общей интенсиональной логике : от принципа композициональности к эпистемическим установкам
- Теория рассуждений Ч. Пирса : Проблема абдукции
- Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
- Логический анализ структуры математизированных наук (проблема изложения)
- Логико-методологические проблемы научного объяснения
- Бивалентные семантики : логико-философские аспекты
- Интервальная временная логика и грамматические времена
- Логический анализ основных этапов становления теории
- Автоматический поиск натурального вывода в классической логике предикатов