|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Натуральное исчисление для некоторой логики с коннегациейстатья
- Автор: Слюсарев И.Ю.
- Сборник: Тринадцатые Смирновские чтения по логике Материалы международной научной конференции 22 – 24 июня 2023 г. Москва
- Год издания: 2023
- Место издания: Москва
- Первая страница: 114
- Последняя страница: 118
- Добавил в систему: Слюсарев Иван Юрьевич