An Omitting Types Theorem for First Order Logic with Infinitary Rlation Symbols, ,

كلية العلوم

جامعة أسيوط

An Omitting Types Theorem for First Order
Logic with Infinitary Rlation Symbols, ,

مؤلف البحث
Tarek Sayed Ahmed and Basim Samir
قسم البحث
قسم الرياضيات
مجلة البحث
Mathematical Logic Quarterly
المشارك في البحث
Basim Samir Labib Tawadros
تصنيف البحث
1
عدد البحث
Vol. 53, No. 6
موقع البحث
http://www.informatik.uni-trier.de/~ley/db/journals/mlq/mlq53.html
سنة البحث
2007
صفحات البحث
pp. 564 – 570