MacLogic 2.3 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros.
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 DRPU Mac Log Manager o Mavis Beacon Teaches Typing, que podrían ser parecidos a MacLogic.