To complete, you need first-order logic. https://www.cs.nmsu.edu/historical-projects/Projects/FoLundecidability.pdf https://www.cs.nmsu.edu/historical-projects

To complete, you need first-order logic. https://www.cs.nmsu.edu/historical-projects/Projects/FoLundecidability.pdf https://www.cs.nmsu.edu/historical-projects/Projects/FoLunde...