- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков
Тип работы:
Кандидатская
Год:
1999
Артикул:
1000222487 179 грн
Рекомендуемые диссертации
- Логическая теория смысла в аналитической философии : от логического эмпиризма к холизму
- Формальная феноменология
- Интуиционистская логика и теория множеств
- Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени
- Сравнительный анализ методов античной, средневековой и классической индуктивной логики
- Анализ контрфактических высказываний в логике и искусственном интеллекте
- Сопоставительный анализ теорий суждений Аристотеля и Ибн Сины
- Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимости
- Алгоритм поиска вывода для систем негативной силлогистики
- Логико-семиотический анализ сакральных текстов и сакральной коммуникации