Email Record: Las paradojas y la teoría de los tipos lógicos /