Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

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

Поисковый запрос: (<.>A=Бирюков, Борис Владимирович$<.>)
Общее количество найденных документов : 2 Показаны документы с 1 по 2

1..2

В12
Б64

Бирюков, Борис Владимирович.
Жар холодных числ и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков. - 2-е изд., перераб. и доп. - М. : Знание, 1985. - 192 с. - (Наука и прогресс). - 40.00 р.

ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
логико-математический аппарат -- формальные логики -- логическая алгебра

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

В12
Б64

Бирюков, Борис Владимирович.
Жар холодных числ и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков, В. Н. Тростников. - М. : Знание, 1977. - 191 с. - (Наука и прогресс). - 15.00 р.

ББК В12
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- математико-логический аппарат -- вычислительные машины

Держатели документа:
ЯрГУ

Доп.точки доступа:
Тростников, Виктор Николаевич ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

1..2