Ambos-Spies, K., Fejer, P. A., Lempp, S., & Lerman, M. (1996). Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices. The journal of symbolic logic, 61(3), . https://doi.org/10.2307/2275790
Chicago-Zitierstil (17. Ausg.)Ambos-Spies, Klaus, Peter A. Fejer, Steffen Lempp, und Manuel Lerman. "Decidability of the Two-quantifier Theory of the Recursively Enumerable Weak Truth-table Degrees and Other Distributive Upper Semi-lattices." The Journal of Symbolic Logic 61, no. 3 (1996). https://doi.org/10.2307/2275790.
MLA-Zitierstil (9. Ausg.)Ambos-Spies, Klaus, et al. "Decidability of the Two-quantifier Theory of the Recursively Enumerable Weak Truth-table Degrees and Other Distributive Upper Semi-lattices." The Journal of Symbolic Logic, vol. 61, no. 3, 1996, https://doi.org/10.2307/2275790.