1 Answers
In mathematical logic, various sublanguages of set theory are decidable. These include:
4 views
Answered
In mathematical logic, various sublanguages of set theory are decidable. These include: