A Review of Two Books on the Decision Problem
- Yuri Gurevich
Bulletin of the American Mathematical Society | , Vol 7: pp. 273-277
The original problem was to find an algorithm deciding logical validity of sentences of the usual first-order logic.
Bulletin of the American Mathematical Society | , Vol 7: pp. 273-277
The original problem was to find an algorithm deciding logical validity of sentences of the usual first-order logic.