Tutorial de Lògica Matemàtica - Càlcul de Proposicions. Software escrito por Neus Budesca en 1999, en la Universitat Rovira i Virgili, en Tarragona. La interfaz está en un catalán fácil de entender. Cubre el cálculo proposicional con algo de teoría, formalización, y ejercicios con demostraciones por deducción natural, formas normales (conjuntivas y disyuntivas), álgebra booleana (por método positivo y método negativo), y resolución no lineal (saturación por niveles, sistemática) o lineal (primaria o no, unitaria o no, restringida a la literal de la derecha, con conjunto de apoyo). Ofrece estadísticas de la actuación del alumno y tanto un manual como ayuda en linea sobre el uso de programa.
Lista de Desarrollos Informáticos del Proyecto Aracne. Incluye "Traductor de Lógica modal", "Traductor de Lógica heterogénea", "Calculus Ratiocinator", "Tutor de Lógica proposicional" y "Los Enigmas de Ulises".
Recurso en internet con interesantes aplicaciones locales (applets) o remotas (cgis) creadas por Christian Gottschall y traducidas al idioma español.