Shore R.A. ...

Новости

26 Сентября, 2024 Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

19 Сентября, 2024 Открыт приём заявок на премию «За верность науке»

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

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