I͡Uriĭ Leonidovich Ershov

Identifiers

• Open LibraryOL301456A

Top Subjects

• Computable functions (2)
• Definability theory (Mathematical logic) (2)
• Numeration. (1)
• Algorithms (1)
• Symbolic and mathematical Logic (1)
• Recursion theory. (1)
• Constructive mathematics. (1)