Return to Article Details Development of the information technology for checking textual procedures for logical coherence and completeness Download Download PDF