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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>T=G BIBLIOGRAPHY OF MATHEMATICAL LOGIC$<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.

G bibliography of mathematical logic: Non-classical logics1
Ed by G.H. Muller in collab with W. Lenski1 . - Berlin etc.: Springer-Verl. - 1987. - XXXVII, 469 с. -(Perspectives in math. logic). - На англ.яз. - Германия. - Текст на англ. яз. - ISBN 3-540-15521-X
ГРНТИ: 27.03.19
УДК: 016:510.6
Перевод заглавия: Библиография математической логики.Неклассическая логика
Ключевые слова: математическая логика; неклассическая логика; библиография

Держатели документа:
2.

G bibliography of mathematical logic: Vol.3: Model theory
Ed by G.H. Muller in collab with W. Lenski1 . - Berlin etc.: Springer-Verl. - 1987. - XLV, 617 с. -(Perspectives in math. logic). - На англ.яз. - Германия. - Текст на англ. яз. - ISBN 3-540-15522-8
ГРНТИ: 27.03.19
УДК: 016:510.6
Перевод заглавия: Библиография математической логики.Теория модели
Ключевые слова: математическая логика; теория модели; библиография

Держатели документа:
3.

G bibliography of mathematical logic: Vol.4: Recursion theory
Ed by G.H. Muller in collab with W. Lenski1 . - Berlin etc.: Springer-Verl. - 1987. - XLV, 697 с. -(Perspectives in math. logic). - На англ.яз. - Германия. - Текст на англ. яз. - ISBN 3-540-15523-6
ГРНТИ: 27.03.19
УДК: 016:510.6
Перевод заглавия: Библиография математической логики.Теория рекурсии
Ключевые слова: математическая логика; рекурсия; библиография

Держатели документа:
4.

G bibliography of mathematical logic: Vol.6: Proof theory constructive mathematics
Ed by G.H. Muller in collab with W. Lenski1 . - Berlin etc.: Springer-Verl. - 1987. - XLI, 405 с. -(Perspectives in math. logic). - На англ.яз. - Германия. - Текст на англ. яз. - ISBN 3-540-15524-4
ГРНТИ: 27.03.19
УДК: 016:510.6
Перевод заглавия: Библиография математической логики.Теория доказательств конструктивной математики
Ключевые слова: математическая логика; теория доказательств; конструктивная математика; библиография

Держатели документа:
5.

G bibliography of mathematical logic: Vol.5: Set theory
Ed by G.H. Muller in collab with W. Lenski1 . - Berlin etc.: Springer-Verl. - 1987. - LI, 791 с. -(Perspectives in math. logic). - На англ.яз. - Германия. - Текст на англ. яз. - ISBN 3-540-15525-2
ГРНТИ: 27.03.19
УДК: 016:510.6
Перевод заглавия: Библиография математической логики.Теория множеств
Ключевые слова: математическая логика; множество; библиография

Держатели документа:
6.

G bibliography of mathematical logic: Vol.1: Classical logic
Ed by G.H. Muller in collab with W. Lenski1 . - Berlin etc.: Springer-Verl. - 1987. - XXXIX, 485 с. -(Perspectives in math. logic). - На англ.яз. - Германия. - Текст на англ. яз. - ISBN 3-540-17321-8
ГРНТИ: 27.03.19
УДК: 016:510.6
Перевод заглавия: Библиография математической логики.Классическая логика
Ключевые слова: математическая логика; классическая логика; библиография

Держатели документа:
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)