Büchi J.R. ...

Новости

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

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

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

Büchi J.R.

[1962]

On a decision method in restricted second order arithmetic

Proc. I Iinter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 1-11 (Русский перевод: Киберн. сборник, 1964, № 8, 78-90.)

65.08.70

article

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