Browsing by Author "AbdalBari, Anwar"
Now showing items 1-1 of 1
-
A System for Models of First Order Theories
AbdalBari, Anwar (2012-10-12)If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, ...