Опис
Книга А. Робінсона, що виникла з переробки трьох його старих монографій, є поки найкращою книгою у світовій літературі для початкового ознайомлення з теорією моделей і містить основні досягнення теорії моделей вузького обчислення предикатів, отримані до 1963 року. У ній докладно викладено основні теореми загальної теорії класів моделей та основні методи доказу розв’язності теорії. У воєнний час актуальність товару уточнюйте за телефоном.
