С 50 Смирнов, Владимир Александрович. Восстановление амальгамами [Текст] / В. А. Смирнов. - Ленинград : Химия Ленинградское отделение, 1970. - 226 с. ; 21 см. - 2000 экз.. - 1.31 р. Рубрики: Физическая химия --Химическая физика--Коллоидная химия ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Т 56 Томилов, Андрей Петрович. Электрохимический синтез органических веществ [Текст] / редакторы А. П. Томилов, В. А. Смирнов. - Ленинград : Химия, Ленинградское отделение, 1976. - 423 с. : рис., табл. ; 22 см. - 3700 экз.. - (в пер.) : 3.26 р. Рубрики: Органический синтез, электрохимический Кл.слова (ненормированные): ЭЛЕКТРОХИМИЧЕСКИЙ СИНТЕЗ Доп.точки доступа: Смирнов, Владимир Александрович; Томилов, Андрей Павлович \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
С 50 Смирнов, Владимир Александрович. Формальный вывод и логические исчисления [Текст] / В. А. Смирнов; ответственный редактор П. В. Таванец ; Институт философии (Москва). - Москва : Наука, 1972. - 270 с. ; 20см. - Библиография: с. 267-268 ( 59 назв.). - 4400 экз.. - 0.67 р. Рубрики: Философия--Логика Аннотация: В монографии анализируются различные способы логического рассуждения: логические системы гильбертовского типа, системы натурального вывода, секвенциальные исчисления. Дается достаточно естественная классификация логических систем. Доп.точки доступа: Таванец, Петр Васильевич \отв. ред.\; Акад. наук СССР (Москва) ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Л 69 Логический вывод [Текст] / Академия наук СССР, Институт философии ; ответственный редактор В. А. Смирнов. - Москва : Наука, 1979. - 310, [1] с. ; 23 см. - 4900 экз.. - (в пер.) : 1.90 р. Рубрики: Отраслевые библиографические пособие и указатели--Логика--Библиография Кл.слова (ненормированные): СУПЕРИНТУИЦИОНИСТСКАЯ ЛОГИКА -- МНОГОЗНАЧНАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- НЕСТАНДАРТНЫЕ ЛОГИКИ -- ЛОГИЧЕСКИЙ ВЫВОД -- ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- МОДАЛЬНАЯ ЛОГИКА -- ВРЕМЕННАЯ ЛОГИКА -- РЕЛЕВАНТНАЯ ЛОГИКА -- КОМБИНАТОРНЫЙ МЕТОД -- ТЕОРИЯ КВАНТИФИКАЦИИ Доп.точки доступа: Смирнов, Владимир Александрович \ред.\; Академия наук СССР. Институт философии ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |