toIPA
Home
Blog
Category
Fo
complexity class of structures that can be recognized by formulas of first-order logic
Categories
complexity class