MacLogic 2.3 puede descargarse gratuitamente desde nuestra página web. El resultado de nuestro antivirus ha determinado que esta descarga está libre de virus. El archivo de instalación más reciente ocupa 38.1 MB en disco.
La herramienta pertenece al grupo de aplicaciones sobre Educación y Ciencia. El auténtico artífice de este programa sin coste es fitelson. Normalmente, el archivo de instalación de este programa tiene el siguiente nombre de fichero: maclogic_osx_ii.zip. La versión del programa más usada es 2.3.
Del desarrollador:
MacLogic is, to my mind, the best computer program in existence for teaching and learning how to do natural deduction proofs (in a variety of logics). The program was originally written in MacProlog for Classic Macintosh operating systems by Roy Dyckhoff et al. at St Andrews.
Quizás esté interesado en probar otros programas, como Mavis Beacon Teaches Typing, que podrían ser parecidos a MacLogic.