MacLogic 2.3 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist. Diese Software kann als "Bildung und Wissenschaft" beschrieben werden.
Die Installationsdatei dieses Programms hat häufig folgenden Dateiname :maclogic_osx_ii.zip. Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Die beliebteste Version dieses Programms ist 2.3. Der eigentliche Entwickler dieser kostenlosen Software ist fitelson.
Vom Entwickler:
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.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie DRPU Mac Log Manager oder Mavis Beacon Teaches Typing informieren, die an MacLogic ähnlich sein können.