Вы здесь

Главная

наименьший

Связанные издания:

A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
On the Expressive Power of Monadic Least Fixed Point Logic