Theorem proving software systems Create Talk0 Category page This page needs content. You can help by adding a sentence or a photo! Add to this page! “ Assessment | Biopsychology | Comparative | Cognitive | Developmental | Language | Individual... Logic Theorist Pages in category "Theorem proving software systems" This category contains only the following page. L Logic Theorist Retrieved from "http://psychology.wikia.com/wiki/Category:Theorem_proving_software_systems"