Главная
Авторизация
Фамилия
Пароль
Регистрация
Библиотека института физики им. Л.В. Киренского СО РАН
Базы данных
Каталог книг и брошюр библиотеки ИФ СО РАН - результаты поиска
Вид поиска
Каталог книг и брошюр библиотеки ИФ СО РАН
Каталог журналов библиотеки ИФ СО РАН
Труды сотрудников ИФ СО РАН
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=27.03.19$<.>)
Общее количество найденных документов
:
5
Показаны документы
с 1 по 5
1.
В1
К 17
Калужнин, Лев Аркадьевич
.
Что такое математическая логика / Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр. - 0.21 р.
ГРНТИ
02.21
27.03.19
ББК
В12 + Ю4
Рубрики:
Логика--Математика
Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Экземпляры всего:
1
КФ (1)
Свободны:
КФ (1)}
Найти похожие
2.
В1
C92
Cselogovits, I. J.
Theory of alinear duality. Selfcontradictions of linear and non-linear systems / I. J. Cselogovits ; Hungar. Nat. History Museum. - Budapest : [s. n.], 1965. - Б. ц.
Перевод заглавия:
Теория линейной двойственности. Внутренние противоречия линейных и нелинейных систем
Перевод заглавия:
Теория линейной двойственности. Внутренние противоречия линейных и нелинейных систем
ГРНТИ
27.03.19
ББК
В12
Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Hungarian Natural History Museum
Экземпляры всего:
1
Музей (1)
Свободны:
Музей (1)}
Найти похожие
3.
В1
Б 18
Байиф, Жан-Клод
.
Логические задачи / Ж. -К. Байиф ; пер. с фр. Ю. Н. Сударева по ред. И. М. Яглома. - М. : Мир, 1983. - 172 с. : рис. -
Пер. изд. :
Les casse-tete logiques de Baillif. - Paris, 1979. - 50000 экз. - 0.45 р.
ГРНТИ
27.03.19
ББК
В12я91
Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Сударев, Ю. Н. \пер.\; Яглом, Исаак Моисеевич \ред. пер.\
Экземпляры всего:
1
КФ (1)
Свободны:
КФ (1)}
Найти похожие
4.
В12
Б 59
Бизам, Дьердь
.
Игра и логика. 85 логич. задач / Д. Бизам, Я. Герцег ; пер. с венг. [и предисл.] Ю. А. Данилова. - М. : Мир, 1975. - 359 с. : ил. -
Пер. изд. :
Jatek és logika. 85 feladatban / G. Bizam, J. Herczeg. - Budapest, 1972. - 1.15 р.
ГРНТИ
27.03.19
ББК
В12я91
Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Герцег, Янош; Данилов, Ю. А. \пер.\; Bizam, G. ; Herczeg, J.
Экземпляры всего:
1
КФ (1)
Свободны:
КФ (1)}
Найти похожие
5.
В1
Р 60
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс ; пер. с англ. В. А. Душского и [др.], под ред. В. А. Успенского. - М. : Мир, 1972. - 624 с. - Библиогр.: с. 587-589. -
Пер. изд. :
Theory of rekursive and effective computability / Hartley Rogers Jr. - 1967. - 3.46 р.
ГРНТИ
27.03.19
РУБ
В12 + В11
Доп.точки доступа:
Сикорский, Роман; Янков, В. А. \пер.\; Душской, В. А. \пер.\; Успенский, В. А. \ред. пер.\; Rogers, Hartley
Экземпляры всего:
1
КФ (1)
Свободны:
КФ (1)}
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Другие библиотеки
Центральная Научная Библиотека КНЦ СО РАН
Библиотека института биофизики
Библиотека института химии и химический технологии
Библиотека института вычислительного моделирования
Библиотека института леса
Библиотека СФУ
Краевая научная библиотека
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)