A review of two books on the decision problem (1982)

by Y Gurevich
Venue:Bulletin of American Mathematical Society