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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Математическая логика<.>)
Общее количество найденных документов : 53
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-53 
1.

Исследования по теории алгоритмов и математической логике/Вычислительный центр АН СССР Т. 1. - 1973
2.

Исследования по теории алгоритмов и математической логике/Вычислительный центр АН СССР Т. 2. - 1976
3.

Новиков П.С. Элементы математической логики/П.С. Новиков. - 1973
4.

Мендельсон Э. Введение в математическую логику/Э. Мендельсон; Ред. С.И. Адян. - 1971
5.

Мендельсон Э. Введение в математическую логику/Э. Мендельсон; Ред. С.И. Адян. - 1976
6.

Исследования по конструктивной математике и математической логике IV/ред.: Ю. В. Матиясевич, А. О. Слисенко. - 1971
7.

Лавров И.А. Задачи по теории множеств, математичсекой логике и теории алгоритмов/И. А. Лавров, Л. Л. Максимова. - 1975
8.

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

Гарднер М. Математические чудеса и тайны. Математические фокусы и головоломки/М. Гарднер ; ред. Г. Е. Шилов. - 1977
10.

Шенфилд Дж. Степени неразрешимости/Дж. Шенфилд ; ред. Ю. Л. Ершов. - 1977
 1-10    11-20   21-30   31-40   41-50   51-53