Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог НТГСПИ - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=бесконечные индивидные области<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 51/Г474
Автор(ы) : Гильберт, Давид, Бернайс, Пауль
Заглавие : Основания математики : Логические исчисления и формализация арифметики
Выходные данные : Москва: Наука, 1979
Колич.характеристики :557 с. ; 22 см
Серия: Математическая логика и основания математики
Перевод издания: Hilbert D. Crundlagen der Mathematik. I/ D. Hilbert, P. Bernays. -2. Aufl. -Berlin etc, 1968
Примечания : Алф. указ.: с. 551-557. - На пер. авт. и загл. не указаны
Цена : 2.70 р.
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--основания математики--математическая логика--логические исчисления--формализация арифметики--формальная аксиоматика--элементарная арифметика--финитный способ рассуждений--исчисление высказываний--исчисление предикатов--бесконечные индивидные области--рекурсивные определения--математическое доказательство
Аннотация: Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики.
Экземпляры : всего : АБ(1), МБ(1)
Свободны : АБ(1), МБ(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)