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

Новости

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

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

19 Сентября, 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

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