|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Некорректность базисной арифметики относительно строгой примитивно-рекурсивной реализуемости для языка базисной логикидоклад на конференции
- Автор: Коновалов А.Ю.
- Международная Конференция : Тринадцатые Смирновские чтения по логике
- Даты проведения конференции: 22-24 июня 2023
- Дата доклада: 23 июня 2023
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Философский факультет МГУ имени М.В.Ломоносова, Russia
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Коновалов Александр Юрьевич