- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Интуиционистская логика и теория множеств
Тип роботи:
докторская
Рік:
2004
Кількість сторінок:
189
Артикул:
203327 179 грн
Рекомендовані дисертації
- Семантический анализ простых паранормальных логик
- Алгоритм поиска натурального вывода для интуиционистской логики высказываний
- Трансформация идей И. Канта в работах русских логиков конца XIX - начала XX веков
- Автоматический поиск натурального вывода в классической логике предикатов
- Логическая теория смысла в аналитической философии
- Теория смысла в общей интенсиональной логике : от принципа композициональности к эпистемическим установкам
- Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимости
- Немонотонная логика и проблемы формализации контекста
- Иллокутивная логика
- Логико-эпистемологические воззрения Дигнаги и его идейных преемников