Mundici, D. 2016. DECIDABILITY AND GODEL INCOMPLETENESS IN AF ¨ C*-ALGEBRAS. Manuscrito: Revista Internacional de Filosofia. 28, 2 (mar. 2016), 547–558.