Aczel P. ...


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

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