1 Answers

In mathematical logic, various sublanguages of set theory are decidable. These include:

4 views