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