Доказательство теоремы Гыоделя о неполноте, основанное на понятиях функционального программирования.

معرفی کتاب «Доказательство теоремы Гыоделя о неполноте, основанное на понятиях функционального программирования.» نوشتهٔ Миронов А.М.، منتشرشده توسط نشر МГУ در سال 2015. این کتاب در فرمت pdf، زبان ru ارائه شده است.