Вид документа : Однотомное издание Шифр издания : 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) Держатели документа: Библиотека НТГСПА Доп.точки доступа: Бернайс, Пауль; Bernays P.; Нагорный, Николай Макарьевич \пер.\; Адян, Сергей Иванович \ред., предисл.\; Hilbert D.; Hilbert, D. ; Bernays, P. |