Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика. Часть 4

معرفی کتاب «Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика. Часть 4» نوشتهٔ Дж. Барвайс (ред.)، منتشرشده توسط نشر Наука در سال 1983. این کتاب در فرمت djvu، زبان ru ارائه شده است.