Return to Article Details Logic terminology: codification problem Download Download PDF