Open menu
Yuri L. Ershov
Constructive models
Definability and Computability (Siberian School of Algebra and Logic)
Multi-Valued Fields
Multi-Valued Fields (Siberian School of Algebra and Logic)