Математическая теория логического вывода [сборник переводов статей]

معرفی کتاب «Математическая теория логического вывода [сборник переводов статей]» نوشتهٔ Идельсон А.В., Минц Г.Е. (ред.)، منتشرشده توسط نشر Наука در سال 1967. این کتاب در فرمت djvu، زبان ru ارائه شده است.