1 results
Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 880-905
- Print publication:
- September 1996
-
- Article
- Export citation