Отношение выводимости в процессе становления математической логики - доклад на конференции | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Автор: Кузичева З.А.
Международная Конференция : Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года
Даты проведения конференции: 24-26 июня 2021
Дата доклада: 25 июня 2021
Тип доклада: Устный
Докладчик: не указан
Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Россия, Russia
Аннотация доклада:
Рассматривается понятие выводимости не столько в смысле, что такое выводимость, сколько в отношении средств и методов выведения следствий из посылок, в процессе становления математической логики.

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ИНХС РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА