Ambos-Spies K., Fejer P.A., Lempp S., Lerman M. ...


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 semilattices
J. Symbolic Logic, 61, № 3, 880-905
98.02.52
O
article

Вернуться к поиску