Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

Область поиска

Найдено в других БД:

Периодические издания (12)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>A=Смирнов, В. А.$<.>

Общее количество найденных документов : 7
Показаны документы с 1 по 7

87.4
В 19

Васильев, Н. А.
Воображаемая логика [Текст] : избранные тр. / Н.А. Васильев; отв. ред. В.А. Смирнов ; АН СССР, Ин-т философии. - М. : Наука, 1989. - 263 с. - ISBN 5-02-007946-4 : 1.60 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика -- конструктивная логика

Доп.точки доступа:
Смирнов, В.А. \ред.\; АН СССР. Ин-т философии
Экземпляры всего: 1
Аб.2 (1)
Свободны: Аб.2 (1)
Найти похожие

87.4
В 81

Вригт, Георг Хенрик фон.
Логико-философские исследования [Текст] : избр. тр. : пер. с англ. / Георг Хенрик фон Вригт ; ред., сост., предисл. В. А. Смирнова, общ. ред. Г. А. Рузавина. - М. : Прогресс, 1986. - 594, [1] с. : [1] л. портр. - 2.30 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика -- избранные труды

Доп.точки доступа:
Смирнов, В.А. \ред., сост., авт. предисл.\; Рузавина, Г.А. \ред.\
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие

С(Нан)
Х 69

Ходжер, Григорий Гибиевич.
Колан [Текст] : повесть / Г. Г. Ходжер ; [худож. В. А. Смирнов]. - Хабаровск : Кн. изд-во, 1983. - 175 с. - 0.30 р.

ББК С(Нан)
Рубрики: Нанайская литература--20 в
Кл.слова (ненормированные):
Дальний Восток -- военное время

Доп.точки доступа:
Смирнов, В.А. \худож.\
Экземпляры всего: 1
Аб.1 (1)
Свободны: Аб.1 (1)
Найти похожие

83.3(2)
С 59

Соколов-Микитов, Иван Сергеевич.
Посвящение [Текст] / И. С. Соколов-Микитов ; [сост., авт. ст., авт. примеч. В. А. Смирнов], [гл. ред. В. В. Дементьев]. - М. : Сов. Россия, 1982. - 156, [4] с. - (Писатели о творчестве). - 0.20 р.

ББК 83.3(2)
Рубрики: Русская советская литература
Кл.слова (ненормированные):
творческая деятельность -- статьи -- размышления

Доп.точки доступа:
Смирнов, В.А. \сост., авт. ст., авт. примеч.\; Дементьев, В.В. \гл. ред.\; Бунин, И.; Куприн, А.; Пришвин, М.
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие

87.4
Б 43

Белнап, Н.
Логика вопросов и ответов [Текст] / Н. Белнап, Т. Стил; ред., предисл., примеч. В. А. Смирнова, В.К. Финна; пер. с англ. Г.Е. Крейдлина. - М. : Прогресс, 1981. - 287, [1] с. - 1.20 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
элементарные вопросы -- типы вопросов -- эротетическая семантика

Доп.точки доступа:
Стил, Т.; Смирнов, В.А. \ред., авт. предисл., авт. примеч.\; Финн, В.К. \ред., авт. предисл., авт. примеч.\; Крейдлин, Г.Е. \пер. с англ.\
Экземпляры всего: 1
Аб.2 (1)
Свободны: Аб.2 (1)
Найти похожие

87.4
С 50

Смирнов, В. А.
Формальный вывод и логические исчисления [Текст] / В. А. Смирнов ; АН СССР, Ин-т философии. - М. : Наука, 1972. - 270, [1] с. - 0.67 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
формализация гильбертовского типа -- дедукции для логистических систем -- системы натурального вывода -- метод субординатного вывода -- логические секвенциальные системы

Доп.точки доступа:
АН СССР. Ин-т философии
Экземпляры всего: 2
Аб.2 (2)
Свободны: Аб.2 (2)
Найти похожие

87.4
Х 47

Хинтикка, Я.
Логико-эпистемологические исследования [Текст] : сб. избр. ст. / Я. Хинтикка; сост., вступ. ст. и общ. ред.: В.Н. Садовского, В.А. Смирнова. - М. : Прогресс, 1980. - 445, [2] с. - (Логика и методология науки). - 1.60 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика и философия -- дистрибутивные нормальные формы -- теоретико-игровая семантика -- проблемы в истории эпистемологии -- сборник избранных статей

Доп.точки доступа:
Садовский, В.Н. \сост.\; Смирнов, В.А. \сост.\
Экземпляры всего: 1
Аб.2 (1)
Свободны: Аб.2 (1)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)