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