@misc{11162/19211,
year = {1998},
url = {http://hdl.handle.net/11162/19211},
abstract = {Programa para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo proposicional: tablas de verdad, connectivas, proposiones tautológicas y contradicciones. Posibilita que el usuario introduzca sus propias fórmulas hasta 4 variables.},
publisher = {Barcelona : Generalitat de Catalunya, Programa d'Informàtica Educativa, 1997},
keywords = {lógica matemática},
keywords = {cálculo},
keywords = {matemáticas},
title = {Lòoggiiccaa : un programa de lògica formal},
author = {Almarza, Miquel Àngel and Estrada, Sara},
}