Вид документа : Многотомное издание Шифр издания : 656480 51.01/Г47 Автор(ы) : Гильберт, Давид Заглавие : Основания математики: [в 2 т.]/ Д. Гильберт, П. Бернайс. - (Математическая логика и основания математики). [Т. 1]: Логические исчисления и формализация арифметики Выходные данные : Москва: Наука. Гл. ред. физ.-мат. лит., 1979 Колич.характеристики :557, [3] с ISBN (в пер.), Цена [Б. и.]: 35.00 р. УДК : 510 Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--исчисления высказываний--рекурсии Экземпляры : всего : ОХФ(5) Свободны : ОХФ(5) Доп. точки доступа: Бернайс, Пауль