![](/img/cover-not-exists.png)
The ∀∃-Theory of R(≤, ∨, ∧) Is Undecidable
Russell G. Miller, Andre O. Nies and Richard A. ShoreVolume:
356
Language:
english
Journal:
Transactions of the American Mathematical Society
DOI:
10.2307/3845021
Date:
August, 2004
File:
PDF, 4.13 MB
english, 2004