A Review of Two Books on the Decision Problem

  • Yuri Gurevich

Bulletin of the American Mathematical Society | , Vol 7: pp. 273-277

下载 BibTex

The original problem was to find an algorithm deciding logical validity of sentences of the usual first-order logic.