List of first-order theories

From Wikipedia, the free encyclopedia