![](/img/cover-not-exists.png)
Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
Ambos-Spies, Klaus, Fejer, Peter A., Lempp, Steffen, Lerman, ManuelVolume:
61
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275790
Date:
September, 1996
File:
PDF, 1.66 MB
english, 1996