Definability and Computability (Siberian School of Algebra and Logic)
Definability and Computability (Siberian School of Algebra and Logic)
Yuri L. Ershov
Details
OL Work ID
OL9162703W
Subjects
Definability theory (Mathematical logic)
Computable functions
Find this book
Open Library
