J. Sancho San Roman

• Lógica matemática y computabilidad