Шенфилд, Джозеф Роберт. Математическая логика. Серия «Математическая логика и основания математики». Перевод с английского И.А. Лаврова и И.А. Мальцева. Под редакцией Ю.Л. Ершова. Издание первое (перевод).
Москва : Наука, Главная редакция физико-математической литературы, 1975. 528 страниц.
Твердый переплет. Немного увеличенный формат. Суперобложка. Тираж 25 000 экземпляров.
Переплет хороший: незначительный износ. Блок хороший: чистый, крепкий.
***
Shoenfield, Joseph R. Mathematical Logic. Series: Mathematical Logic and the Foundations of Mathematics. Translated from the English by I. A. Lavrov and I. A. Maltsev. Edited by Yu. L. Ershov. First edition of the Russian translation.
Moscow : Nauka, Main Editorial Board for Physical and Mathematical Literature, 1975. 528 pp.
Hardcover. Slightly enlarged format. Dust jacket. Print run of 25,000 copies.
Binding very good: minor wear. Text block good: clean and firm.
The Russian translation of one of the most influential and enduring graduate textbooks in mathematical logic, by the American logician Joseph R. Shoenfield (1927-2000), longtime professor at Duke University and a leading figure in recursion theory and set theory. First published by Addison-Wesley in 1967, Shoenfield's "Mathematical Logic" became, and largely remains, the standard advanced introduction to the field internationally, prized for the precision and economy of its exposition. The book develops first-order theories from the ground up, through completeness and compactness theorems, model theory (including categoricity and complete theories), and culminates in a rigorous treatment of computability, recursive functions, Church's thesis, and Gödel's incompleteness theorems. Translated by Igor Lavrov and Ivan Maltsev, both associated with the Novosibirsk school of mathematical logic founded around Anatoly Maltsev, and edited by Yuri Ershov, a leading Soviet logician and algebraist in his own right, this edition made Shoenfield's text a core reference for the substantial Soviet community of logicians and set theorists and remains, in Russian as in English, a standard entry point to graduate-level mathematical logic.