Conjuntos recursivamente enumeráveis: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Typo fixing, replaced: as vezes → às vezes utilizando AWB (8853) |
m r2.7.1) (Robô: A adicionar: ko:재귀 열거 집합 |
||
Linha 88:
[[it:Insieme ricorsivamente enumerabile]]
[[ja:帰納的可算集合]]
[[ko:재귀 열거 집합]]
[[ru:Перечислимое множество]]
[[zh:递归可枚举集合]]
| |||