Q: First-order logic and automated theorem proving I would like to ask if there are any solutions somewhere to the exercises from the book "First-order logic and automated theorem proving" by Melvin Fitting.
