Page not found
This question was removed from MathOverflow for reasons of moderation. Please refer to the help center for possible explanations why a question might be removed.
Here are some similar questions that might be relevant:
- Differences between logic with and without equality
- Termination of "unpacking" abbreviations
- Logical generators of groups and $\mathrm{Aut}$-bases
- Does extended Frege p-simulate circuit Frege with substitutions?
- Existence of certain formulas in modal logic K
Try a Google Search
Try searching for similar questions
Browse our recent questions
Browse our popular tags
If you feel something is missing that should be here, contact us.