MacLogic 2.3 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible. C'est grâce à fitelson que cette application gratuit a vu le jour.
Le fichier d'installation du logiciel est habituellement : maclogic_osx_ii.zip. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. Sur notre site, vous trouverez ce logiciel dans Éducation et Science et plus précisément Outils d'éducation. La version fréquemment téléchargée de MacLogic est 2.3.
Du développeur:
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.
Au vu de votre intérêt pour MacLogic, nous vous conseillons des programmes similaires tels que UUBYTEISOEditor, OmmWriter Dāna II ou remove.bg.