Opredelimostʹ i vychislimostʹ
Opredelimostʹ i vychislimostʹ
1996
I͡Uriĭ Leonidovich Ershov
Details
First published
1996
OL Work ID
OL2291567W
Subjects
Definability theory (Mathematical logic)
Computable functions
Find this book
Open Library
