bn:01810724n
Noun Concept
FR
espace efficace polonais
EN
In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Wikipedia
Relations
Sources