TY  - GEN 
AU  - Almarza, Miquel Àngel
AU  - Estrada, Sara
PY  - 1998
SN  - 84-393-3826-0
UR  - http://hdl.handle.net/11162/19211
AB  - Programa para MS-DOS sobre logica formal. Propone ejercicios sobre nociones basicas del calculo proposicional: tablas de verdad, connectivas, proposiones tautologicas y contradicciones. Posibilita que el usuario introduzca sus propias formulas hasta 4...
LA  - cat
PB  - Barcelona : Generalitat de Catalunya, Programa d'Informatica Educativa, 1997
KW  - logica matematica
KW  - calculo
KW  - matematicas
TI  - Looggiiccaa : un programa de logica formal
ER  -