Консервативные расширения, счетные упорядоченные модели и операторы замыкания

 

НОВОСТИ