Dispensetta su di un insieme ricorsivamente enumerabile che non è decidibile
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: e_numerabilita.pdf