Вид документа : Однотомное издание Шифр издания : 51/Г 47 Автор(ы) : Гильберт Д., Бернайс П. Заглавие : Основания математики: Логические исчисления и формализация арифметики : пер. с нем. Выходные данные : Москва: Наука, 1979 Колич.характеристики :557 с Серия: Математическая логика и основания математики Цена : Б.ц. УДК : 51 MeSH-главная: МАТЕМАТИКА -- MATHEMATICS Экземпляры :НА(1) Свободны : НА(1) Доп.точки доступа: Бернайс, П. Адян, С. И. \ред.\