How would you define many-sorted-logic? Add your definition here.

comments powered by Disqus