Review of Automated Reasoning: Thirty-Three Basic Research Problems

To read the book "Automated Reasoning: Thirty-Three Basic Research problems (Prentice Hall, Englewood Cliffs, N.J., 1987, 300 pp., $11.00) by Larry Was it is not necessary to be an expert in mathematics or logic or computer science. However, even if you are such an expert, you will read it with interest, and likely, with enjoyment.