@article{gurevich1982a,
author = {Gurevich, Yuri},
title = {A Review of Two Books on the Decision Problem},
year = {1982},
month = {July},
abstract = {The original problem was to find an algorithm deciding logical validity of sentences of the usual first-order logic.},
url = {http://approjects.co.za/?big=en-us/research/publication/review-two-books-decision-problem/},
pages = {273-277},
journal = {Bulletin of the American Mathematical Society},
volume = {7},
}