Aczel P. ...

Новости

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

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

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

Aczel P.

[1977]

An introduction to inductive definitions

Handbook of Mathematic Logic, p. C, North-Holland, 1977, 739-782 (Русский перевод в Справочной книге по математической логике, ч. III, (Ершов Ю.Л. –ред.), М., Наука, 1982, 224-269.)

article

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