List of first-order theories

ID: list-of-first-order-theories

New to topics? Read the docs here!