First-order theory

From Wikipedia, the free encyclopedia
Redirect page