СУЧАСНІ НАПРЯМИ РОЗВИТКУ МАТЕМАТИЧНОЇ ЛОГІКИ
Анотація
Дається коротка характеристика сучасних напрямів розвитку класичної математичної логіки.
A short survey of present-day mathematical logic is presented in this paper.
Повний текст:
PDFПосилання
Кондаков Н.И. Логический словарь, -М.: Наука, 1971.
Глушков В.М. Введение в кибернетику. –Киев: Изд. АН УССР, 1964.
Стяжкин Н.И. Формирование математической логики. –М.: Наука, 1967.
Зиновьев А.А. Неклассическая логика. –М.:Наука, 1970.
Гейтинг А. Интуиционизм. Введение. М.: Наука, 1965.
Марков А.А. О констуктивной математике. //Труды математического института им. В.А.Стеклова АН СССР.-М.: АН СССР, 1962, т. 67.
Яблонский С.В. Функциональные построения в к-значной логике. //Труды математического института им. В.А.Стеклова АН СССР. –М: АН СССР, 1958, т.51.
Яглом А.М.. Яглом И.М. Вероятность и информация. –М.: Наука, 1957.
Енциклопедія кібернетики. –Київ: ГР УРЕ, 1973, т.1.
Яблонский С.В. Применение логики в науке и технике. –М.: Наука,1960.
Посилання
- Поки немає зовнішніх посилань.