| short, 2008 7-Tarek Sayed Ahmed and Basim Samir, An Omitting Types Theorem for First Order Logic with Infinitary Rlation Symbols, , , Mathematical Logic Quarterly, Vol | htm, October, 2014 5-Nabila N |
|---|---|
| , Bulletin of the Section of Logic, Vol | 丕賱賲噩丕賱丕鬲 丕賱亘丨孬賷丞: Abstract Algebra , Algebraic Logic 丕賱丕亘丨丕孬 : 1-Basim Samir, HH Merdach, Implicative algebras and Heyting algebras can be residuated lattices |
41- 51, 2007 9-Tarek Sayed Ahmed and Basim Samir, Neat Embedding and Amalgamation.
22.