| 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.
3