%0 Journal Article %1 journals/jancl/Ahmed05 %A Ahmed, Tarek Sayed %D 2005 %J J. Appl. Non Class. Logics %K dblp %N 4 %P 465-489 %T Omitting types for algebraizable extensions of first order logic. %U http://dblp.uni-trier.de/db/journals/jancl/jancl15.html#Ahmed05 %V 15

@article{journals/jancl/Ahmed05, added-at = {2020-04-25T00:00:00.000+0200}, author = {Ahmed, Tarek Sayed}, biburl = {https://www.bibsonomy.org/bibtex/2bbc965f1ab02a691d5d6b401d829a1bb/dblp}, ee = {https://doi.org/10.3166/jancl.15.465-489}, interhash = {30ab694393304150ccf1bfaeca31a1c0}, intrahash = {bbc965f1ab02a691d5d6b401d829a1bb}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, number = 4, pages = {465-489}, timestamp = {2020-04-28T12:07:48.000+0200}, title = {Omitting types for algebraizable extensions of first order logic.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl15.html#Ahmed05}, volume = 15, year = 2005 }