- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Логика доказуемости и доказуемостно-интуиционистская логика
Тип роботи:
Кандидатская
Рік:
1985
Артикул:
323553 179 грн
Рекомендовані дисертації
- Тьюринговые скачки в иерархии Ершова
- О подгруппах и автоморфизмах свободных бернсайдовых групп
- Схема модулей стабильных пучков ранга 2 с малыми классами Черна на трехмерной квадрике
- Применения логических исчислений к изучению естественных преобразований в категориях
- Решение некоторых алгоритмических проблем в группах Артина с древесной структурой
- Конечные группы с заданным набором порядков элементов
- Локальное строение и автоморфизмы реберно регулярных графов
- Новый вид урезания аддитивных функций и его применение в вероятностной теории чисел
- Сложность пропозициональных систем доказательств, оперирующих неравенствами
- Комбинаторно симметричные графы и их автоморфизмы