Вид документа : Однотомное издание Шифр издания : 51/Б 89 Автор(ы) : Брюшинкин, Владимир Никифорович, Ходикова, Нина Анатольевна Заглавие : Теория поиска вывода. Происхождение и философские приложения : научное издание Выходные данные : [Калининград]: Изд-во Балтийского федерального университета им. Иммануила Канта, 2012 Колич.характеристики :165 с Коллективы : Балтийский федеральный ун-т им. Иммануила Канта Серия: Библиотека электронного журнала "РАЦИО.ru"; вып. 6 Примечания : Библиогр.: с. 158-165 ISBN, Цена 978-5-9971-0222-7: 200.00 р. ГРНТИ : 27.03 ББК : 510.3в Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Ходикова, Нина Анатольевна; Балтийский федеральный ун-т им. Иммануила Канта