Curry, Haskell B. Foundations of Mathematical Logic (Osnovaniya matematicheskoy logiki). First edition of the Russian translation, 1969.

Карри, Хаскелл Б. Основания математической логики / перевод с английского В. В. Донченко ; под редакцией Ю. А. Гастева.
Москва : Мир, 1969. 568 страниц ; увеличенный формат.
Твердый издательский переплет.
Переплет хороший: небольшое загрязнение в верхней части передней крышки. Блок отличный: бумага чистая, шитье крепкое.
***
Curry, Haskell B. (1900-1982). Foundations of Mathematical Logic / translated from the English by V. V. Donchenko ; edited by Yu. A. Gastev.
Moscow : Mir Publishing House, 1969. 568 pp. ; increased format.
Hardcover.
Binding good: light soiling to the upper area of the front board. Text block fine: paper clean throughout, sewing firm.

The first and only Russian edition of one of the standard mid-century treatments of mathematical logic, translated nine years after the original English publication (McGraw-Hill, 1963). Haskell Brooks Curry (1900-1982) was the founder of combinatory logic, the branch of logic concerned with eliminating bound variables from formal systems, a project he pursued from the 1930s onward and which underlies much of later work in theoretical computer science and functional programming; the combinator later named Curried function honors him directly. The present work, written while Curry held the Evan Pugh chair at Pennsylvania State University, offers a systematic account of formal systems, epitheory, and the logical calculi of implication, negation, and quantification, built throughout on his characteristic constructive approach. Its appearance in Russian testifies to the Mir publishing house's program of importing major Western scientific texts into Soviet academic circulation despite the political climate of the era. The translation and editing were the work of Yuri Alekseevich Gastev (1928-1993), a mathematician and logician with an unusually charged biography: arrested in 1945 as a student on political charges and interned in the Komi ASSR until 1949, he went on to become one of the Soviet Union's principal translators and editors of Western mathematical logic before turning increasingly to human-rights activism, which led to his forced emigration from the USSR in 1981. His editorial hand on this translation situates the book within a distinctive chapter of Soviet intellectual history, of interest to collectors of Cold War-era scientific translation as much as to historians of logic.