Библиография Лаврова И.А.


Shore R.A.
[1982]
The theories of the truth-table and Turing degrees are not elementarily equivalent
Proc. Logic Coll.’80, ( European Summer Meet. of Ass. Symb.Logic, planed for Prague, 1982), North-Holland, 231-237
?
OS
article

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