Por ahora sólo tengo estos documentos:

Deducción natural

En español:
Introducción a la deducción natural

Y en esperanto:
Enkonduko al natura dedukto

Y en catalán:
Introducció a la deducció natural

Y en inglés:
Introduction to natural deduction


Sí, ya ves que tenía ganas de traducir...



Lógica y lenguajes

En español:
Lógica y lenguajes (y en XHTML)

Y en catalán:
Lògica i llenguatges (y en XHTML)

Código fuente:
hl_fuente.tar.gz


Sistemas de discusión



Juegos de ingenio (problemas de lógica)

Ver en: juegos de lógica.




Desde agosto 2004. Daniel Clemente