Теория поиска вывода происхождение и философские приложения

Bibliographic Details
Main Author:	Брюшинкин, Владимир Никифорович 1953-2012
Other Authors:	Ходикова, Нина Анатольевна
Format:	Book
Language:	Russian
Published:	Калининград Издательство Балтийского федерального университета им. Иммануила Канта 2012
Series:	Серия "Библиотека электронного журнала "РАЦИО.ru"
Subjects:	гильбертовская теория доказательств логико-математические теоремы автоматическое доказательство теорем теория доказательств теория поиска вывода теория поиска вывода в психологии теория поиска вывода в философии логики поризматические модели развития научного знания методология научного исследования история логики реконструкция рациональная истории логики Грязнова модель развития науки
Online Access:	Перейти в каталог НБ ТГУ

Description
Physical Description:	165, [1] с.
Bibliography:	Библиогр.: с. 158-166 и в подстроч. примеч.
ISBN:	9785997102227

Similar Items