Вступ до теорії моделей та метаматематики алгебри. А. Робінсон. 1967

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