Normal view
MARC view
Теория поиска вывода происхождение и философские приложения В. Н. Брюшинкин, Н. А. Ходикова ; Балтийский фед. ун-т им. Иммануила Канта
Material type:
TextSeries: Серия "Библиотека электронного журнала "РАЦИО.ru"Publication details: Калининград Издательство Балтийского федерального университета им. Иммануила Канта 2012Description: 165, [1] сISBN: 9785997102227Subject(s): гильбертовская теория доказательств | логико-математические теоремы | автоматическое доказательство теорем | теория доказательств | теория поиска вывода | теория поиска вывода в психологии | теория поиска вывода в философии логики | поризматические модели развития научного знания | методология научного исследования | история логики | реконструкция рациональная истории логики | Грязнова модель развития наукиOther classification: Ю4в016
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Выдается по месту хранения | Читальный зал 4 | Ю4 Б898 (Browse shelf (Opens below)) | Available | 13820000934493 |
Библиогр.: с. 158-166 и в подстроч. примеч.
There are no comments on this title.