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

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

Holdings details from Научная библиотека ТГУ: Читальный зал 4
Call Number:	Ю4 Б898
	Available Place a Hold

Similar Items