Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики

معرفی کتاب «Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики» نوشتهٔ Гильберт Д., Бернайс П.، منتشرشده توسط نشر Наука در سال 1979. این کتاب در 20 صفحه، فرمت djvu، زبان ru ارائه شده است.