Return to Article Details Formalization as the Immanent Part of Logical Solving Download Download PDF