In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras, He asked whether every model of his abstract theory could ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback