Здравствуйте, подскажите, пожалуйста, существует ли перевод на русский язык книги/статьи Тарского и Мак-Кински (Tarski A., McKinsey J.C.C.) [1948] "A Decision Method for Elementary Algebra and Geometry", 2nd ed., Berkley, Los Angeles (в приницпе год издания и номер издания неважны). Если существует, то в каком журнале эту статью можно найти или как эта книга называется на русском языке (к сожалению дословный перевод заглавия не дал никаких результатов). Если же русского аналога всё-таки нет, не могли бы вы подсказать какие-нибудь книги на эту тематику, в частности, меня интересует доказательство полноты теории вещественно замкнутых полей с использоанием метода элиминации кванторов.
Заранее спасибо.
Штепа Александр.
Ответ
[2009-12-15 14:00:40] :
Здравствуйте! Интересующий Вас перевод книги Тарского А. на русский язык в каталогах РНБ не выявлен. В рамках виртуальной службы осуществить расширенные разыскания не представляется возможным. Вы можете обратиться в Информационно-сервисный центр РНБ (
открыть ссылку). Услуги предоставляются на платной основе.
