LPL Software 2.7 é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.
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 cet outil dans Éducation et Science et plus précisément Outils d'éducation. Ce programme a été à l'origine développé par Openproof Project,CSLI Stanford.
Du développeur:
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.
Utilisateur de LPL Software, vous pourriez être intéressé également par ces logiciels : Wolfram Mathematica.