|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Отношение выводимости в процессе становления математической логикистатья
- Автор: Кузичева З.А.
- Сборник: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г
- Год издания: 2021
- Место издания: «Русское общество истории и философии науки» Москва
- Первая страница: 182
- Последняя страница: 187
- Аннотация: Рассматривается понятие выводимости не столько в смысле, что такое выводимость, сколько в отношении средств и методов выведения следствий из посылок, в процессе становления математической логики.
- Добавил в систему: Кузичева Зинаида Андреевна