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