Pour-El M.B.,Kripke S. ...

Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

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

Pour-El M.B., Kripke S.

[1967]

Deduction-preserving “recursive isomorphisms” between theories

Fund. Math., 61, № 2, 141-163

68.06.87

S

article

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