Completude-m (conc)

10 dezembro 2008, 14:30 • Amilcar Sernadas

Resultados fundamentais sobre completude-m versus não listabilidade efectiva.

Motivação da construção de Post.