Enlaces
Revisión del 10:19 24 oct 2008 de Jalonso (discusión | contribuciones) (→Enlaces a grupos de investigación)
Enlaces a grupos de investigación
- Logic and Computation Group (University of Liverpool).
- Mathematical Reasoning Group (University of Edinburgh).