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
Español:
Sistemas de discusión
Catalán:
Sistemas de discussió
Alemán:
Diskussionssysteme
Esperanto:
Diskutsistemoj
Inglés:
Discussion systems
Juegos de ingenio (problemas de lógica)
Ver en:
juegos de lógica
.
Desde agosto 2004. Daniel Clemente