Rasiowa, Sikorski. The Mathematics of Metamathematics (Matematika metamatematiki). 1972. First Russian edition.

Расёва, Елена, Сикорский, Роман. Математика метаматематики. Серия «Математическая логика и основания математики». Перевод с английского В.А. Янкова. Издание первое (перевод), с английского издания (ПАН, серия Monografie Matematyczne, том 41, Варшава, 1963).
Москва : Наука, Главная редакция физико-математической литературы, 1972. 592 страницы.
Твердый переплет. Увеличенный формат. Тираж 11 000 экземпляров.
Переплет хороший: минимальный износ. Блок хороший: чистый, крепкий.
***
Rasiowa, Helena, and Sikorski, Roman. The Mathematics of Metamathematics. Series: Mathematical Logic and the Foundations of Mathematics. Translated from the English by V. A. Yankov. First edition of the Russian translation, from the English edition (Polish Academy of Sciences, Monografie Matematyczne vol. 41, Warsaw, 1963).
Moscow : Nauka, Main Editorial Board for Physical and Mathematical Literature, 1972. 592 pp.
Hardcover. Enlarged format. Print run of 11,000 copies.
Binding good: minimal wear. Text block good: clean and firm.

The Russian translation of a landmark monograph in algebraic logic, by the Polish mathematicians Helena Rasiowa (1917-1994) and Roman Sikorski (1920-1983), both major figures of the postwar Warsaw school of logic and one of the closest collaborators of Alfred Tarski's circle. Published in the prestigious "Monografie Matematyczne" series of the Polish Academy of Sciences, the book presents a systematic algebraic approach to metamathematics, developing the theory of lattices and Boolean algebras, Stone spaces, and topological Boolean algebras in the first part, and applying this apparatus in the second to give algebraic proofs of the fundamental completeness and representation theorems of classical and intuitionistic logic. Rasiowa's method of treating logical systems through their associated algebras (Boolean, Heyting, and related structures) became one of the standard techniques of algebraic logic internationally and shaped subsequent research connecting universal algebra to proof theory and model theory. Translated by Vladimir Yankov, a Soviet logician working in constructive and intuitionistic logic, this edition brought a foundational text of the Warsaw school directly to the substantial Soviet community of algebraic logicians and remains a standard reference for the algebraic method in mathematical logic.