Библиотека Российской академии наук (БАН)

Базы данных


ЭК отдела БАН при Физико-техническом институте им. А.Ф.Иоффе РАН (ФТИ) - результаты поиска

Вид поиска
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА)
Имидж-каталог БАН
Рукописный фонд БАН
Фонд редкой книги БАН
Газетный фонд БАН
Подносные экземпляры из библиотеки Петра I
Рукописи старообрядцев-скрытников из Каргопольского собрания
Наука в СССР в годы Великой Отечественной войны 1941 - 1945 гг.
Русские биографические и биобиблиографические словари и справочники, 1956-2000 гг.
Санкт-Петербургские ведомости (1728 - 1781)
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Математическая логика<.>)
Общее количество найденных документов : 53
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-53 
1.

Grzegorczyk A. An outline mathematical logic/A. Grzegorczyk. - 1974
2.

Акимов О.Е. Дискретная математика: логика, группы, графы/О.Е. Акимов. - 2003
3.

Андерсон Дж.А. Дискретная математика и комбинаторика/Дж.А. Андерсон; [пер. с англ. М.М. Беловой]. - 2004
4.

Аракелян Г.Б. Основания физической теории/Г.Б. Аракелян. - 1997
5.

Байиф Ж.-К. Логические задачи/Ж.-К. Байиф. - 1983
6.

Беркли Э. Символическая логика и разумные машины/Э. Беркли ; ред. Г. Н. Поваров. - 1961
7.

Бизам Д. Многоцветная логика. 175 логических задач/Д. Бизам, Я. Герцег. - 1978
8.

Бирюков Б.В. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики/Б.В. Бирюков, В.Н. Тростников. - 2004
9.

Гаврилов Г.П. Сборник задач по дискретной математике/Г. П. Гаврилов, А. А. Сапоженко. - 1977
10.

Гарднер М. Есть идея!/М. Гарднер. - 1982
 1-10    11-20   21-30   31-40   41-50   51-53 
 
Описание ЭК
Стандартный
Расширенный
Профессиональный
По словарю