Главная страница

Базы данных


Российский сводный каталог по научно-технической литературе - результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>T=G BIBLIOGRAPHY OF MATHEMATICAL LOGIC$<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : G bibliography of mathematical logic
Выходные данные : Berlin etc.: Springer-Verl., 1987
Колич.характеристики :XLI, 405 с
Серия: Perspectives in math. logic
Примечания : ; Текст на англ. яз
ISBN, Цена 3-540-15524-4: Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; теория доказательств; конструктивная математика; библиография
Найти похожие
2.
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : G bibliography of mathematical logic
Выходные данные : Berlin etc.: Springer-Verl., 1987
Колич.характеристики :LI, 791 с
Серия: Perspectives in math. logic
Примечания : ; Текст на англ. яз
ISBN, Цена 3-540-15525-2: Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; множество; библиография
Найти похожие
3.
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : G bibliography of mathematical logic
Выходные данные : Berlin etc.: Springer-Verl., 1987
Колич.характеристики :XXXIX, 485 с
Серия: Perspectives in math. logic
Примечания : ; Текст на англ. яз.
ISBN, Цена 3-540-17321-8: Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; классическая логика; библиография
Найти похожие
4.
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : G bibliography of mathematical logic
Выходные данные : Berlin etc.: Springer-Verl., 1987
Колич.характеристики :XXXVII, 469 с
Серия: Perspectives in math. logic
Примечания : ; Текст на англ. яз.
ISBN, Цена 3-540-15521-X: Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; неклассическая логика; библиография
Найти похожие
5.
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : G bibliography of mathematical logic
Выходные данные : Berlin etc.: Springer-Verl., 1987
Колич.характеристики :XLV, 617 с
Серия: Perspectives in math. logic
Примечания : ; Текст на англ. яз
ISBN, Цена 3-540-15522-8: Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; теория модели; библиография
Найти похожие
6.
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : G bibliography of mathematical logic
Выходные данные : Berlin etc.: Springer-Verl., 1987
Колич.характеристики :XLV, 697 с
Серия: Perspectives in math. logic
Примечания : ; Текст на англ. яз.
ISBN, Цена 3-540-15523-6: Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; рекурсия; библиография
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)