AUB ScholarWorks

On a quotient theorem for first-order languages. - by Abbas al-Hakim

Show simple item record

dc.contributor.author al-Hakim, Abbas
dc.date.accessioned 2012-06-13T06:43:22Z
dc.date.available 2012-06-13T06:43:22Z
dc.date.issued 1996
dc.identifier.uri http://hdl.handle.net/10938/5231
dc.description Thesis (M.S.)--American University of Beirut. Department of Mathematics,1996.;"Advisor: Dr. Azmi Hanna, Professor, Mathematics -- Members of Committee: Dr. Nazih Nahlous, Associate Professor, Mathematics Dr. Jacek Nikiel, Associate Professor, Mathematic
dc.description Bibliography: leaf 28.
dc.format.extent viii, 28 leaves cm.
dc.language.iso eng
dc.relation.ispartof Theses, Dissertations, and Projects
dc.subject.classification T:003714 AUBNO
dc.subject.lcsh First-order logic.
dc.subject.lcsh Formal languages.
dc.title On a quotient theorem for first-order languages. - by Abbas al-Hakim
dc.title.alternative Quotient theorem - first-order logic
dc.type Thesis
dc.contributor.department American University of Beirut. Faculty of Arts and Sciences. Department of Mathematics


Files in this item

Blocked
Name: t-3714.pdf
Size: 387.9Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Search AUB ScholarWorks


Browse

My Account